Peter O'Hearn

Peter O'Hearn
FRS FREng
O'Hearn in 2018
Born
Peter William O'Hearn

(1963-07-13) 13 July 1963 (age 61)
Halifax, Nova Scotia, Canada
NationalityBritish, Canadian
CitizenshipUnited Kingdom, Canada
Alma materDalhousie University
Queen's University
Known forSeparation logic[12]
Bunched logic[13]
Infer Static Analyzer[14]
Awards
Scientific career
FieldsProgramming languages[10]
Program analysis
Formal verification
Theoretical computer science[10]
InstitutionsLacework
Meta Platforms
University College London
Queen Mary University of London
Syracuse University
ThesisSemantics of Non-interference: A natural approach (1992)
Doctoral advisorRobert D. Tennent[11]
Websitewww0.cs.ucl.ac.uk/staff/p.ohearn/

Peter William O'Hearn (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]

  1. ^ "2021 IEEE award ceremony - IEEE Secure Development Conference".
  2. ^ "POPL 2019 Most Influential Paper Award for research that led to Facebook Infer". Facebook. 17 January 2019.
  3. ^ "Introducing Dal's honorary degree recipients for Spring Convocation 2018".
  4. ^ "Distinguished scientists elected as Fellows and Foreign Members of the Royal Society". royalsociety.org. Retrieved 15 May 2018.
  5. ^ a b 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)
  6. ^ Chita, Efi (12–15 July 2016). "2016 Gödel Prize". European Association for Theoretical Computer Science.
  7. ^ "Royal Academy Fellows 2016". Archived from the original on 27 March 2019. Retrieved 26 May 2018.
  8. ^ O'Sullivan, Bryan (5 September 2016). "Four Facebook Employees Win the Prestigious CAV Award". Facebook.[unreliable source?]
  9. ^ "Computer Science professor wins prestigious award". Queen Mary University of London. 3 February 2011.
  10. ^ a b c Peter O'Hearn publications indexed by Google Scholar Edit this at Wikidata
  11. ^ Peter O'Hearn at the Mathematics Genealogy Project Edit this at Wikidata
  12. ^ Reynolds, John C. (2002). "Separation Logic: A Logic for Shared Mutable Data Structures" (PDF). LICS.
  13. ^ O'Hearn, P. W.; Pym, D. J. (June 1999). "The Logic of Bunched Implications". Bulletin of Symbolic Logic. 5 (2): 215–244. doi:10.2307/421090. JSTOR 421090. S2CID 2948552.
  14. ^ "Infer static analyzer". fbinfer.com.
  15. ^ "Peter O'Hearn". Facebook Research.
  16. ^ "Peter O'Hearn".
  17. ^ "Peter O'Hearn". www0.cs.ucl.ac.uk.