|Peter W. O'Hearn|
|Born||13 July 1963
Halifax, Nova Scotia, Canada
|Institutions||University College London, UK
Queen Mary, University of London, UK
|Alma mater||Dalhousie University, Halifax, Canada
Queen's University, Kingston, Canada
|Doctoral advisor||Robert D. Tennent|
|Known for||Separation logic|
|Influences||John C. Reynolds|
Peter O'Hearn attained a BSc degree in Computer Science from Dalhousie University, Halifax, Nova Scotia (1985), followed by MSc (1987) and PhD (1991) degrees from Queen's University, Kingston, Ontario, Canada. His dissertation was on Semantics of Non-interference: A natural approach, supervised by Robert D. Tennent.
O'Hearn was an Assistant Professor at Syracuse University, New York, USA, from 1990 to 1995. He was a Reader in Computer Science at Queen Mary, University of London from 1996 to 1999 and has been a full professor at QMUL until his recent move to University College London. In 1997 he was a Visiting Scientist at Carnegie Mellon University and in 2006 he was a Visiting Researcher at Microsoft Research Cambridge.
- Olivier Danvy, Peter O'Hearn and Philip Wadler (editors), Festschrift for John C. Reynolds's 70th Birthday. Theoretical Computer Science, 375(1–3):1–350, 1 May 2007. Editorial, pages 1–2.doi:10.1016/j.tcs.2006.12.024
- Peter W O'Hearn, Curriculum Vitae, Queen Mary, University of London, UK.
- List of publications from the DBLP Bibliography Server
- Peter O'Hearn, Online Papers, Queen Mary, University of London, UK.
|This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it.|
|This biographical article relating to a Canadian computer specialist is a stub. You can help Wikipedia by expanding it.|