Peter O'Hearn

Researcher, FAIR, Facebook

Full Professor, Computer Science, University College London, University of London

  • Joined May 2025

Names

Peter O'Hearn (Preferred)
,
Peter W. O'Hearn

Emails

****@dcs.qmul.ac.uk (Confirmed)
,
****@meta.com (Confirmed)
,
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher
FAIR, Facebook (meta.com)
2024 – 2025
 
Full Professor
Computer Science, University College London, University of London (ucl.ac.uk)
2013 – 2025
 

Advisors, Relations & Conflicts

Coauthor
2020 – 2025
 
Coauthor
2020 – 2025
 

Expertise

Formal Verification
1990 – 2025
 
AI
1990 – 2025