Pulse Entdecken nav.journalClub Debatten Trends Forschende

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

Peter W. O’Hearn | Synapse

PW

Peter W. O’Hearn

Logic, programming, and type systems

University College London

About

Research focus

Logic, programming, and type systems

Impact

146 pubs · 9,861 cites · h-index 48

Affiliations

Work Experience

University College London

2013 - 2024

Meta (United Kingdom)

2014 - 2021

Meta (Israel)

2014 - 2018

UCL Australia

2014 - 2015

Meta (United States)

2014 - 2015

Publications