Working with Peter O'Hearn in Academia and Industry
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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
Probabilistic Graphical Models 1: RepresentationStanford University via Coursera Computer Security
Stanford University via Coursera Intro to Computer Science
University of Virginia via Udacity Introduction to Logic
Stanford University via Coursera Internet History, Technology, and Security
University of Michigan via Coursera