Peter O'Hearn (Preferred)
Peter W. O'Hearn
Peter O'Hearn
Researcher, FAIR, Facebook
Full Professor, Computer Science, University College London, University of London
Joined
May 2025
Names
,
Emails
****@dcs.qmul.ac.uk (Confirmed)
****@meta.com (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
FAIR, Facebook (meta.com)
2024 – 2026
Full Professor
Computer Science, University College London, University of London (ucl.ac.uk)
2013 – 2026
Advisors, Relations & Conflicts
Expertise
Formal Verification
1990 – 2025
AI
1990 – 2025
Publications
Co-Authors
- A. John Power
- Akbar Hussain
- Andrew P. Black
- Arnd Poetzsch-Heffter
- Azalea Raad
- Aziem Chawdhary
- Bernhard Möller
- Byron Cook
- C. A. R. Hoare
- Carsten Fuhs
- Christoph Klee
- Cliff B. Jones
- Cristiano Calcagno
- David J. Pym
- Derek Dreyer
- Dino Distefano
- Dominik Gabi
- Dulma Rodriguez
- Eran Yahav
- Francesco Logozzo
- Francesco Zappa Nardelli
- Georg Struth
- Greta Yorsh
- Hayo Thielecke
- Hoang-Hai Dang