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
Sources
1. Wikipedia: Peter O'Hearn
Wikimedia FoundationLead sentence, born parentheticalQuote, Lead sentence, born parenthetical
born 13 July 1963 in Halifax, Nova Scotia
Peter O'Hearn (Wikidata)
Wikidata alias: Peter William O'Hearn
Peter William O'Hearn
Wikidata P166: Gödel Prize
Wikidata P166 (award received): Gödel Prize.
Wikidata P166: Fellow of the Royal Society
Wikidata P166 (award received): Fellow of the Royal Society.
Wikidata P166: Fellow of the Royal Academy of Engineering
Wikidata P166 (award received): Fellow of the Royal Academy of Engineering.
Wikidata alias: Peter W. O'Hearn
Peter W. O'Hearn
View the SourceReader 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.