Peter O'Hearn
Peter William O'Hearn FRS FREng[5][7] (born 13 July 1963 in Halifax, Nova Scotia), formerly a research scientist at Meta,[15] is a Distinguished Engineer at Lacework[16] and a Professor of Computer science at University College London (UCL).[17] He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.[10]
Education
O'Hearn attained a BSc degree in computer science from Dalhousie University, Halifax, Nova Scotia (1985), followed by MSc (1987) and PhD (1991) degrees from Queen's University, Kingston, Ontario, Canada. His dissertation was on Semantics of Non-interference: A natural approach, supervised by Robert D. Tennent.[11][18]
Career and research
O'Hearn is best known for separation logic,[12] a theory he developed with John C. Reynolds that unearthed new domains for scaling logical reasoning about code. This built on prior research from O'Hearn and David Pym on logic for resources, termed bunched logic.[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".[19]
He conducted a study of programming languages which were similar to ALGOL, with his former doctoral advisor Robert D. Tennent, which became the book Algol-Like Languages.[20]
Separation logic has given rise to the
O'Hearn was an assistant professor at Syracuse University, New York, United States, from 1990 to 1995. He was a
Awards and honours
In 2007, O'Hearn was granted a
References
- ^ a b "2021 IEEE award ceremony - IEEE Secure Development Conference".
- ^ a b "POPL 2019 Most Influential Paper Award for research that led to Facebook Infer". Facebook. 17 January 2019.
- ^ a b "Introducing Dal's honorary degree recipients for Spring Convocation 2018".
- ^ a b "Distinguished scientists elected as Fellows and Foreign Members of the Royal Society". royalsociety.org. Retrieved 15 May 2018.
- ^ a b c d e Anon (2018). "Professor Peter O'Hearn FRS". royalsociety.org. London: Royal Society. Archived from the original on 7 June 2018. One or more of the preceding sentences incorporates text from the royalsociety.org website where:
“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". Archived from the original on 11 November 2016. Retrieved 7 June 2018.
{{cite web}}
: CS1 maint: bot: original URL status unknown (link) - ^ a b Chita, Efi (12–15 July 2016). "2016 Gödel Prize". European Association for Theoretical Computer Science.
- ^ a b c "Royal Academy Fellows 2016". Archived from the original on 27 March 2019. Retrieved 26 May 2018.
- ^ a b O'Sullivan, Bryan (5 September 2016). "Four Facebook Employees Win the Prestigious CAV Award". Facebook.[unreliable source?]
- ^ a b "Computer Science professor wins prestigious award". Queen Mary University of London. 3 February 2011.
- ^ a b c Peter O'Hearn publications indexed by Google Scholar
- ^ a b Peter O'Hearn at the Mathematics Genealogy Project
- ^ a b Reynolds, John C. (2002). "Separation Logic: A Logic for Shared Mutable Data Structures" (PDF). LICS.
- ^ S2CID 2948552.
- ^ a b c "Infer static analyzer". fbinfer.com.
- ^ "Peter O'Hearn". Facebook Research.
- ^ a b "Peter O'Hearn".
- ^ "Peter O'Hearn". www0.cs.ucl.ac.uk.
- ^ Queen Mary, University of London, UK.
- S2CID 441648.
- S2CID 6273486.
- ^ "Facebook Acquires Assets Of UK Mobile Bug-Checking Software Developer Monoidics". TechCrunch. Verizon Media. 18 July 2013.
- ^ "Continuous Reasoning: Scaling the Impact of Formal Methods". Facebook Research.
- ^ "Facebook open sources RacerD: A tool that's already squashed 1,000 bugs in concurrent code". TechRepublic. 19 October 2017.
- ^ "Spring Newsletter". raeng.org.uk. 2012. Archived from the original on 4 September 2016. Retrieved 6 June 2018.
External links
- Media related to Peter O'Hearn at Wikimedia Commons
This article incorporates text available under the CC BY 4.0 license.