World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
50
Citations
13996
World Ranking
5505
National Ranking
331

Research.com Recognitions

  • 2018 - Fellow of the Royal Society, United Kingdom

Overview

Peter W. O'Hearn is affiliated with University College London in the United Kingdom. Their research spans various areas within computer science, particularly focusing on software and related subfields.

The main field of study for Peter W. O'Hearn is Computer Science, with subfields including:

  • Software
  • Information Systems
  • Artificial Intelligence
  • Signal Processing
  • Hardware and Architecture

The research topics covered in their work include:

  • Software Testing and Debugging Techniques
  • Software Engineering Research
  • Software Reliability and Analysis Research
  • Advanced Malware Detection Techniques
  • Security and Verification in Computing
  • Parallel Computing and Optimization Techniques
  • Formal Methods in Verification

Recent papers authored or coauthored by Peter W. O'Hearn include:

  • Finding real bugs in big programs with incorrectness logic, 2022, Proceedings of the ACM on Programming Languages
  • Concurrent incorrectness separation logic, 2022, Proceedings of the ACM on Programming Languages
  • Non-termination Proving at Scale, 2024, Proceedings of the ACM on Programming Languages
  • Artifact and Appendix of "Finding Real Bugs in Big Programs with Incorrectness Logic", 2022, Zenodo (CERN European Organization for Nuclear Research)

Frequent coauthors in their publications include:

  • Azalea Raad
  • Josh Berdine
  • Derek Dreyer
  • Jules Villard
  • Quang Loc Le

Peter W. O'Hearn has published predominantly in venues such as:

  • Proceedings of the ACM on Programming Languages
  • Zenodo (CERN European Organization for Nuclear Research)

In recognition of their contributions, Peter W. O'Hearn was named a Fellow of the Royal Society, United Kingdom, in 2018.

Best Publications

  • Resources, concurrency, and local reasoning

    Peter W. OHearn

  • Local Reasoning about Programs that Alter Data Structures

    Peter W. O'Hearn;John C. Reynolds;Hongseok Yang

  • Smallfoot : Modular automatic assertion checking with separation logic

    Josh Berdine;Cristiano Calcagno;Peter W. O'hearn

  • BI as an assertion language for mutable data structures

    Samin S. Ishtiaq;Peter W. O'Hearn

  • The logic of bunched implications.

    Peter W. O'Hearn;David J. Pym

  • Compositional Shape Analysis by Means of Bi-Abduction

    Cristiano Calcagno;Dino Distefano;Peter W. O’Hearn;Hongseok Yang

  • Permission accounting in separation logic

    Richard Bornat;Cristiano Calcagno;Peter O'Hearn;Matthew Parkinson

  • Symbolic execution with separation logic

    Josh Berdine;Cristiano Calcagno;Peter W. O’Hearn

  • A local shape analysis based on separation logic

    Dino Distefano;Peter W. O'Hearn;Hongseok Yang

  • Compositional shape analysis by means of bi-abduction

    Cristiano Calcagno;Dino Distefano;Peter O'Hearn;Hongseok Yang

  • Separation and information hiding

    Peter W. O'Hearn;Hongseok Yang;John C. Reynolds

  • Moving Fast with Software Verification

    Cristiano Calcagno;Dino Distefano;Jérémy Dubreil;Dominik Gabi

  • Local Action and Abstract Separation Logic

    C. Calcagno;P.W. O'Hearn;Hongseok Yang

  • Scalable Shape Analysis for Systems Code

    Hongseok Yang;Oukseh Lee;Josh Berdine;Cristiano Calcagno

  • Separation and information hiding

    Peter W. O'Hearn;Hongseok Yang;John C. Reynolds

  • Shape analysis for composite data structures

    Josh Berdine;Cristiano Calcagno;Byron Cook;Dino Distefano

  • A decidable fragment of separation logic

    Josh Berdine;Cristiano Calcagno;Peter W. O’Hearn

  • Possible worlds and resources: the semantics of BI

    David J. Pym;Peter W. O'Hearn;Hongseok Yang

  • Abstraction for concurrent objects

    Ivana Filipovi;Peter OHearn;Noam Rinetzky;Hongseok Yang

  • Computability and Complexity Results for a Spatial Assertion Language for Data Structures

    Cristiano Calcagno;Hongseok Yang;Peter W. O'Hearn

Frequent Co-Authors

Hongseok Yang
Hongseok Yang Korea Advanced Institute of Science and Technology
Cristiano Calcagno
Cristiano Calcagno Imperial College London
Byron Cook
Byron Cook Amazon (United States)
Gary T. Leavens
Gary T. Leavens University of Central Florida
C. A. R. Hoare
C. A. R. Hoare Microsoft (United States)
Sriram K. Rajamani
Sriram K. Rajamani Microsoft (United States)
Mark Harman
Mark Harman University College London
Cliff B. Jones
Cliff B. Jones Newcastle University
Jim Woodcock
Jim Woodcock University of York
Martin Vechev
Martin Vechev ETH Zurich

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to a wide array of related online degrees that can expand your technical and professional skills. For students interested in handling large-scale data and analytics, a number of online data science programs offer specialized training and flexible learning formats to fit busy schedules.

Beyond traditional IT roles, tech-driven industries like construction are increasingly seeking leaders with digital expertise. The best construction management schools now offer online programs for students eager to combine engineering knowledge with project management skills.

For those looking to enhance their business acumen, pursuing one of the cheapest MBA online programs can lead to roles in technology management, product leadership, or entrepreneurship.

Additionally, students seeking career advancement in a short time frame may benefit from 1 year masters programs, balancing speed with depth in subjects like cybersecurity, AI, and software engineering.

These diverse pathways ensure that students can tailor their education to fit their career ambitions, timeframe, and budget.

Best Scientists Citing Peter W. O'Hearn

Trending Scientists