Peter O'Hearn

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Peter W. O'Hearn
Peter O'Hearn.jpg
Born 13 July 1963
Halifax, Nova Scotia, Canada
Citizenship United Kingdom/Canada
Nationality British/Canadian
Fields Computer science
Institutions Facebook, London, UK
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[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 until his recent 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]

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


External links[edit]