ProfessorsProfessors of University College LondonPeter O'Hearn

Peter O'Hearn

University College London

H-index: 50

Europe-United Kingdom

About Peter O'Hearn

Peter O'Hearn, With an exceptional h-index of 50 and a recent h-index of 29 (since 2020), a distinguished researcher at University College London, specializes in the field of Programming Languages, Verification, Program Analysis, Theory.

His recent articles reflect a diverse array of research interests and contributions to the field:

Compositional Non-Termination Proving

A General Approach to Under-Approximate Reasoning About Concurrent Programs

Finding real bugs in big programs with incorrectness logic

Applying formal verification to microkernel IPC at Meta

Concurrent incorrectness separation logic

On algebra of program correctness and incorrectness

Formal reasoning and the hacker way (keynote)

Local reasoning about the presence of bugs: Incorrectness separation logic

Peter O'Hearn Information

University	University College London
Position	Facebook and
Citations(all)	12992
Citations(since 2020)	3584
Cited By	10786
hIndex(all)	50
hIndex(since 2020)	29
i10Index(all)	86
i10Index(since 2020)	47
Email	Access Email
University Profile Page	University College London
Google Scholar	View Google Scholar Profile

Peter O'Hearn Skills & Research Interests

Programming Languages

Verification

Program Analysis

Theory

Top articles of Peter O'Hearn

Title	Journal	Author(s)	Publication Date
Compositional Non-Termination Proving		Azalea Raad Julien Vanegue Peter O’Hearn	2023
A General Approach to Under-Approximate Reasoning About Concurrent Programs		Azalea Raad Julien Vanegue Josh Berdine Peter O'Hearn	2023
Finding real bugs in big programs with incorrectness logic	Proceedings of the ACM on Programming Languages	Quang Loc Le Azalea Raad Jules Villard Josh Berdine Derek Dreyer ...	2022/4/29
Applying formal verification to microkernel IPC at Meta		Quentin Carbonneaux Noam Zilberstein Christoph Klee Peter W O'Hearn Francesco Zappa Nardelli	2022/1/17
Concurrent incorrectness separation logic	Proceedings of the ACM on Programming Languages	Azalea Raad Josh Berdine Derek Dreyer Peter W O'Hearn	2022/1/11
On algebra of program correctness and incorrectness		Bernhard Möller Peter O’Hearn Tony Hoare	2021
Formal reasoning and the hacker way (keynote)		Peter W O'Hearn	2020/6/15
Local reasoning about the presence of bugs: Incorrectness separation logic		Azalea Raad Josh Berdine Hoang-Hai Dang Derek Dreyer Peter O’Hearn ...	2020