Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Pioneer

Peter O'Hearn

Also Known As Peter William O'Hearn · Peter W. O'Hearn
Software And Its Engineering

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
Birth Year
1963 1
Birth Date
1963-07-13 1
Award
Gödel Prize 2
Award
Fellow of the Royal Society 2
Award
Fellow of the Royal Academy of Engineering 2
Connections

In Field

Formal Methods, Fields
Source Wikipedia: Peter O'Hearn
Programming Language Theory, Fields
Source Wikipedia: Peter O'Hearn
Theory of Computation, Fields
Source Wikipedia: Peter O'Hearn
Sources
1. Wikipedia: Peter O'Hearn
Wikimedia Foundation
  • Lead sentence, born parenthetical
    born 13 July 1963 in Halifax, Nova Scotia
  • Lead sentence
    (born 13 July 1963 in Halifax, Nova Scotia)
  • 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)
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.