Peter William O'Hearn (born 13 July 1963 in Halifax, Nova Scotia), is a researcher at Meta AI (FAIR), and a Professor of Computer science at University College London (UCL).

[13] With Stephen Brookes, Carnegie Mellon University, O'Hearn created Concurrent Separation Logic (CSL), extending the theory further.

Tony Hoare, in discussing the grand challenge of program verification, described CSL as "solving two problems...concurrecy and object orientation".

[14] In 2017, O'Hearn and the team open sourced RacerD, an automated static race condition detection tool that reduces the time it takes to flag potential problems in concurrent software, as part of the Infer platform.

[6] Also in 2016, he was elected Fellow of the Royal Academy of Engineering (FREng) and co-received the annual CAV (Computer Aided Verification) award.

[25] “All text published under the heading 'Biography' on Fellow profile pages is available under Creative Commons Attribution 4.0 International License.” --"Terms, conditions and policies | Royal Society".

{{cite web}}: CS1 maint: bot: original URL status unknown (link) This article incorporates text available under the CC BY 4.0 license.