Peter William O'Hearn (born 13 July 1963 in Halifax, Nova Scotia) is a research scientist at Facebook and a Professor of Computer science at University College London (UCL).
He has made significant contributions to formal methods for program correctness.
In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.