Peter O'Hearn

Peter W. O'Hearn
Born	13 July 1963 Halifax, Nova Scotia, Canada
Citizenship	United Kingdom/Canada
Nationality	British/Canadian
Fields	Computer science
Institutions	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[1]

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, 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 since then. In 1997 he was a Visiting Scientist at Carnegie Mellon University and in 2006 he was a Visiting Researcher at Microsoft Research Cambridge.^[2]

O'Hearn has made significant contributions to formal methods in general and separation logic in particular.^[3][4]

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. ^ List of publications from the DBLP Bibliography Server.
4. ^ Peter O'Hearn, Online Papers, Queen Mary, University of London, UK.

External links

• Peter O'Hearn home page

Persondata
Name	Ohearn, Peter
Alternative names
Short description	Computer scientist
Date of birth	13 July 1963
Place of birth	Halifax, Nova Scotia, Canada
Date of death
Place of death