Peter O'Hearn

Peter O'Hearn is a Professor of Computer Science at University College London and Research Scientist at Meta AI (FAIR), renowned for co-developing separation logic which bridges theoretical computer science and industrial-scale program analysis. His dual affiliation exemplifies the synergy between academic research and practical tool development that characterizes his career.

His research interests focus on program verification, separation logic, static analysis, and his recent groundbreaking work on incorrectness logic as a complementary approach to traditional verification. O'Hearn pioneered the concept of local reasoning which enables modular verification of large codebases by focusing only on relevant memory regions, forming the theoretical foundation for Facebook Infer.

His publications reveal a consistent trajectory from foundational theory to industrial application, with recent work emphasizing

• Scalable verification for million-line codebases
• Compositional reasoning for concurrent systems
• Practical deployment of formal methods in developer workflows
• Bug-oriented reasoning through incorrectness logic

His research consistently addresses the tension between theoretical soundness and practical applicability in program analysis.

Notable scientific awards include:

• 2021 IEEE Cybersecurity Award for Practice
• 2016 Gödel Prize for separation logic
• 2016 CAV Award for outstanding contributions
• POPL 2019 Most Influential Paper Award
• Fellow of the Royal Society (FRS)
• Fellow of the Royal Academy of Engineering (FREng)

O'Hearn has made substantial contributions to industrial practice through Facebook Infer, which analyzes millions of lines of code daily across Meta's codebase. His work on continuous reasoning integrates formal verification into developer workflows, while his recent focus on incorrectness logic addresses the critical need for effective bug detection in large systems. He maintains active leadership in the programming languages community through conference organization and keynotes.