description Peter O'Hearn Overview
Peter O'Hearn is a British computer scientist at University College London and Meta who, with John Reynolds and others, co-developed separation logic, an extension of Hoare logic for reasoning about mutable heap memory. The work enabled scalable automated verification of pointer-manipulating programs and led to tools such as Infer, used at industrial scale for static analysis. He is a Fellow of the Royal Academy of Engineering and received the 2016 Gödel Prize for this work.
insights Ranking position
Peter O'Hearn ranks #70 of 185 in the Computer Scientist ranking, behind Peter Norvig, ahead of Cleve Moler.
help Peter O'Hearn FAQ
What is separation logic and who co-developed it?
Separation logic, co-developed by Peter O'Hearn and John Reynolds in the early 2000s, is an extension of Hoare logic that provides modular reasoning about programs that manipulate pointers and heap memory. Its key idea is the separating conjunction operator, which splits the heap into disjoint portions for local reasoning.
How is separation logic used in industry?
O'Hearn's work on separation logic led to tools used at companies like Facebook (Meta), where the Infer static analyzer, based on separation logic, was deployed to automatically detect bugs in mobile code before deployment. Infer has been used to analyze millions of lines of code across Android and iOS applications.
Where does Peter O'Hearn work?
O'Hearn splits his time between academia and industry, holding positions at University College London and Meta (formerly Facebook), where he works on automated program verification. He previously worked at Queen Mary University of London before joining UCL.
What awards has Peter O'Hearn received?
O'Harn received the Gödel Prize in 2016 (shared with Samin Ishtiaq and Hongseok Yang) for his work on concurrent separation logic. He also received the CAV Award for contributions to automated reasoning tools and was elected as a Fellow of the Royal Society.
explore Explore More
Reviews & Comments
Write a Review
Be the first to review
Share your thoughts with the community and help others make better decisions.
