Scholar
Peter O'Hearn
Google Scholar ID: NonivoUAAAAJ
University College London
Citations & Impact
Citations
4,304
H-index
30
i10-index
48
Publications
20
Co-authors
14
list available
Contact
Publications
Resume (English only)
Academic Achievements
- 2021 IEEE Cybersecurity Award for Practice; POPL'23 tutorial with A Raad, Q Le, J Vanegue; OOPSLA'22 paper 'Finding Real Bugs in Big Programs with Incorrectness Logic'; CPP'22 paper 'On Algebra of Program Correctness and Incorrectness'; RAMICS'21 paper 'Formal Reasoning and the Hacker Way'; ICSE'20 keynote; POPL'20 paper 'Incorrectness Logic'; Communications of the ACM, August 2019, 'Scaling Static Analyses at Facebook'; Communications of the ACM, February 2019, 'Separation Logic'; POPL 2019 Most Influential Paper Award; OOPSLA'18 paper 'RacerD: Compositional Static Race Detection'; invited tutorial at SAS'18 'Experience developing and deploying concurrency analysis at Facebook'; LICS'18 paper 'Continuous Reasoning: Scaling the impact of formal methods'; 2016 CAV award; 2016 Gödel Prize.
Research Experience
- Member of PPLV group @ UCL; involved in Facebook's Code Checker project; working on Formal Verification of Microkernel IPC at Meta.
Background
- Professor of Computer Science at University College London and a Researcher at Meta AI (FAIR). Interested in 'reasoning', both for code and for other-than-code. Believes that fundamental theory, tool development, and application should play off one another via mutual feedback in computer science, and tries to do theory and engineering simultaneously or at least interleaved.
Miscellany
- Blog; Iverson on practice; Computerphile interview video; TheNewStack interview; TechRepublic article
