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 1 AwardFellow of the Royal Academy of Engineering 1 Sources
1. Wikidata: Peter O'Hearn
- Wikidata Q7176171, class allow-list match (w-wdresolver-0926)
- Wikidata Q7176171 P569 (date of birth)
2. Wikipedia: Peter O'Hearn
Wikimedia FoundationLead sentence, born parentheticalQuote, Lead sentence, born parenthetical
born 13 July 1963 in Halifax, Nova Scotia
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.