Jump to content

Peter O'Hearn

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by TAnthony (talk | contribs) at 04:02, 11 August 2016 (USA is deprecated, per MOS:NOTUSA, and correct overlinking of common places using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Peter W. O'Hearn
Born13 July 1963
NationalityBritish/Canadian
CitizenshipUnited Kingdom/Canada
Alma materDalhousie University, Halifax, Canada
Queen's University, Kingston, Canada
Known forSeparation logic
Scientific career
FieldsComputer science
InstitutionsFacebook, London, UK
University College London, UK
Queen Mary, University of London, UK
Doctoral advisorRobert D. Tennent

Peter William O'Hearn (born 13 July 1963 in Halifax, Nova Scotia, Canada) is a computer scientist based in the United Kingdom.[2]

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.[2]

O'Hearn was an Assistant Professor at Syracuse University, New York, United States, from 1990 to 1995. He was a Reader in Computer Science at Queen Mary, University of London from 1996 to 1999 and was a full professor at QMUL until his move to University College London. He has been the recipient of a Royal Society Wolfson Research Merit Award, a Most Influential POPL Paper Award,[3] and a Royal Academy of Engineering/Microsoft Research Chair.[4] In 1997 he was a Visiting Scientist at Carnegie Mellon University and in 2006 he was a Visiting Researcher at Microsoft Research Cambridge.[2]

Following the acquisition of his startup Monoidics, O'Hearn is currently working for Facebook in London.[5]

Most recently he has been co-recipient (with Stephen Brookes, Carnegie Mellon University) of The 2016 Gödel Prize, for the invention of Concurrent Separation Logic.[6]

O'Hearn has made significant contributions to formal methods in general and separation logic in particular.[7][8]

References

  1. ^ 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
  2. ^ a b c Peter W O'Hearn, Curriculum Vitae, Queen Mary, University of London, UK.
  3. ^ http://www.qmul.ac.uk/media/newsitems/se/43028.htm
  4. ^ http://www.raeng.org.uk/about/fellowship/pdf/newsletter/Spring_News_2012.pdf
  5. ^ http://www.siliconrepublic.com/start-ups/item/33524-facebook-acquires-assets-of
  6. ^ http://eatcs.org/index.php/component/content/article/1-news/2280-2016-godel-prize,
  7. ^ Peter O'Hearn at DBLP Bibliography Server Edit this at Wikidata
  8. ^ Peter O'Hearn, Online Papers, Queen Mary, University of London, UK.