Peter O'Hearn

Who is Peter O'Hearn?

Peter William O'Hearn is a computer scientist based in the United Kingdom.

Peter O'Hearn attained a BSc degree in Computer Science from Dalhousie University, Halifax, Nova Scotia, followed by MSc and PhD 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.

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