YoVDO

Working with Peter O'Hearn in Academia and Industry

Offered By: ACM SIGPLAN via YouTube

Tags

Programming Languages Courses Computer Science Courses Academic Research Courses Static Analysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore Mark Harman's reflections on collaborating with Peter O'Hearn across academic and industrial settings in this 21-minute conference talk. Gain insights into their professional relationship, shared research endeavors, and the impact of their work in both university and corporate environments. Discover how their partnership has influenced advancements in computer science and software engineering.

Syllabus

[O'HearnFest] Working with Peter O'Hearn in academia and industry


Taught by

ACM SIGPLAN

Related Courses

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX Developing Secure Software
LinkedIn Learning Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy