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

Probabilistic Graphical Models 1: Representation
Stanford 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