Peter O'Hearn

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

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

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). 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.