Peter O'Hearn is a researcher at Meta AI (FAIR) and a professor of computer science at University College London. He has made significant contributions to formal methods for program correctness, and in recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.
Facts
AwardFellow of the Royal Society 2 AwardFellow of the Royal Academy of Engineering 2 Highest HonourFellow of the Royal Society 1 Connections
In Field
Source Wikipedia: Peter O'Hearn
Source Wikipedia: Peter O'Hearn
Source Wikipedia: Peter O'Hearn
Sources
1. Wikipedia: Peter O'Hearn
Wikimedia FoundationLead sentence, born parenthetical
born 13 July 1963 in Halifax, Nova Scotia
Lead sentence
(born 13 July 1963 in Halifax, Nova Scotia)
Infobox: awards
IEEE Cybersecurity Award for Practice (2021) Most Influential POPL Paper Award (2019) Honorary Doctor of Laws, Dalhousie University (2018) Fellow of the Royal Society (FRS) (2018) Gödel Prize (2016) Fellow of the Royal Academy of Engineering (FREng) (2016) CAV (Computer Aided Verification) Award (2016) Most Influential POPL Paper Award (2011) Royal Society Wolfson Research Merit Award (2007)
In Field: Programming Language Theory, Infobox: fields
Programming languages Program analysis Formal verification Theoretical computer science
In Field: Theory of Computation, Infobox: fields
Programming languages Program analysis Formal verification Theoretical computer science
In Field: Formal Methods, Infobox: fields
Programming languages Program analysis Formal verification Theoretical computer science
View the Source 2. Wikidata: Peter O'Hearn
- Wikidata Q7176171, class allow-list match (w-wdresolver-0926)
- Wikidata Q7176171 P569 (date of birth)
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.