Peter O'Hearn
Encyclopedia
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 (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 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.
O'Hearn has made significant contributions to formal methods
in general and separation logic
in particular.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
based in the United Kingdom
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
.
Peter O'Hearn attained a BSc degree in Computer Science from Dalhousie University
Dalhousie University
Dalhousie University is a public research university located in Halifax, Nova Scotia, Canada. The university comprises eleven faculties including Schulich School of Law and Dalhousie University Faculty of Medicine. It also includes the faculties of architecture, planning and engineering located at...
, Halifax, Nova Scotia (1985), followed by MSc (1987) and PhD (1991) degrees from
Queen's University
Queen's University
Queen's University, , is a public research university located in Kingston, Ontario, Canada. Founded on 16 October 1841, the university pre-dates the founding of Canada by 26 years. Queen's holds more more than of land throughout Ontario as well as Herstmonceux Castle in East Sussex, England...
, Kingston
Kingston, Ontario
Kingston, Ontario is a Canadian city located in Eastern Ontario where the St. Lawrence River flows out of Lake Ontario. Originally a First Nations settlement called "Katarowki," , growing European exploration in the 17th Century made it an important trading post...
, Ontario
Ontario
Ontario is a province of Canada, located in east-central Canada. It is Canada's most populous province and second largest in total area. It is home to the nation's most populous city, Toronto, and the nation's capital, Ottawa....
, 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
Syracuse University
Syracuse University is a private research university located in Syracuse, New York, United States. Its roots can be traced back to Genesee Wesleyan Seminary, founded by the Methodist Episcopal Church in 1832, which also later founded Genesee College...
, New York
New York
New York is a state in the Northeastern region of the United States. It is the nation's third most populous state. New York is bordered by New Jersey and Pennsylvania to the south, and by Connecticut, Massachusetts and Vermont to the east...
, USA, from 1990 to 1995.
He was a Reader in Computer Science at Queen Mary, University of London
Queen Mary, University of London
Queen Mary, University of London is a public research university located in London, United Kingdom and a constituent college of the federal 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
Carnegie Mellon University
Carnegie Mellon University is a private research university in Pittsburgh, Pennsylvania, United States....
and in 2006 he was a Visiting Researcher at Microsoft Research Cambridge.
O'Hearn has made significant contributions to formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
in general and separation logic
Separation logic
In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing upon early work by Burstall...
in particular.