Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Peter_OHearn> ?p ?o }
- Peter_OHearn abstract "Peter William O'Hearn (born 13 July 1963 in Halifax, Nova Scotia, Canada) 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 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, and a Royal Academy of Engineering/Microsoft Research Chair.In 1997 he was a Visiting Scientist at Carnegie Mellon University and in 2006 he was a Visiting Researcher at Microsoft Research Cambridge.Following the acquisition of his startup Monoidics, O'Hearn is currently working for Facebook in London.O'Hearn has made significant contributions to formal methods in general and separation logic in particular.".
- Peter_OHearn almaMater Canada.
- Peter_OHearn almaMater Dalhousie_University.
- Peter_OHearn almaMater Halifax,_Nova_Scotia.
- Peter_OHearn almaMater Kingston,_Ontario.
- Peter_OHearn almaMater Queens_University.
- Peter_OHearn birthDate "1963-07-13".
- Peter_OHearn birthPlace Canada.
- Peter_OHearn birthPlace Halifax,_Nova_Scotia.
- Peter_OHearn birthPlace Nova_Scotia.
- Peter_OHearn birthYear "1963".
- Peter_OHearn citizenship Canada.
- Peter_OHearn citizenship United_Kingdom.
- Peter_OHearn country United_Kingdom.
- Peter_OHearn doctoralAdvisor Robert_D._Tennent.
- Peter_OHearn field Computer_science.
- Peter_OHearn influencedBy John_C._Reynolds.
- Peter_OHearn knownFor Separation_logic.
- Peter_OHearn thumbnail Peter_OHearn.jpg?width=300.
- Peter_OHearn wikiPageExternalLink p.ohearn.
- Peter_OHearn wikiPageID "30507112".
- Peter_OHearn wikiPageLength "4274".
- Peter_OHearn wikiPageOutDegree "41".
- Peter_OHearn wikiPageRevisionID "704502942".
- Peter_OHearn wikiPageWikiLink Canada.
- Peter_OHearn wikiPageWikiLink Carnegie_Mellon_University.
- Peter_OHearn wikiPageWikiLink Category:1963_births.
- Peter_OHearn wikiPageWikiLink Category:Academics_of_Queen_Mary_University_of_London.
- Peter_OHearn wikiPageWikiLink Category:British_computer_scientists.
- Peter_OHearn wikiPageWikiLink Category:Canadian_computer_scientists.
- Peter_OHearn wikiPageWikiLink Category:Canadian_emigrants_to_the_United_Kingdom.
- Peter_OHearn wikiPageWikiLink Category:Dalhousie_University_alumni.
- Peter_OHearn wikiPageWikiLink Category:Formal_methods_people.
- Peter_OHearn wikiPageWikiLink Category:Living_people.
- Peter_OHearn wikiPageWikiLink Category:People_from_Halifax,_Nova_Scotia.
- Peter_OHearn wikiPageWikiLink Category:Queens_University_alumni.
- Peter_OHearn wikiPageWikiLink Category:Syracuse_University_faculty.
- Peter_OHearn wikiPageWikiLink Computer_science.
- Peter_OHearn wikiPageWikiLink Computer_scientist.
- Peter_OHearn wikiPageWikiLink Dalhousie_University.
- Peter_OHearn wikiPageWikiLink Facebook,_London,_UK.
- Peter_OHearn wikiPageWikiLink Formal_methods.
- Peter_OHearn wikiPageWikiLink Halifax,_Nova_Scotia.
- Peter_OHearn wikiPageWikiLink John_C._Reynolds.
- Peter_OHearn wikiPageWikiLink Kingston,_Ontario.
- Peter_OHearn wikiPageWikiLink Microsoft_Research.
- Peter_OHearn wikiPageWikiLink New_York.
- Peter_OHearn wikiPageWikiLink Nova_Scotia.
- Peter_OHearn wikiPageWikiLink Ontario.
- Peter_OHearn wikiPageWikiLink Queen_Mary_University_of_London.
- Peter_OHearn wikiPageWikiLink Queens_University.
- Peter_OHearn wikiPageWikiLink Robert_D._Tennent.
- Peter_OHearn wikiPageWikiLink Separation_logic.
- Peter_OHearn wikiPageWikiLink Syracuse_University.
- Peter_OHearn wikiPageWikiLink United_Kingdom.
- Peter_OHearn wikiPageWikiLink United_States.
- Peter_OHearn wikiPageWikiLink University_College_London.
- Peter_OHearn wikiPageWikiLinkText "Peter O'Hearn".
- Peter_OHearn almaMater "Dalhousie University, Halifax, Canada".
- Peter_OHearn almaMater "Queen's University, Kingston, Canada".
- Peter_OHearn birthDate "1963-07-13".
- Peter_OHearn birthPlace Canada.
- Peter_OHearn birthPlace Halifax,_Nova_Scotia.
- Peter_OHearn citizenship "United Kingdom/Canada".
- Peter_OHearn dateOfBirth "1963-07-13".
- Peter_OHearn doctoralAdvisor Robert_D._Tennent.
- Peter_OHearn fields Computer_science.
- Peter_OHearn influences John_C._Reynolds.
- Peter_OHearn knownFor Separation_logic.
- Peter_OHearn name "Ohearn, Peter".
- Peter_OHearn name "Peter W. O'Hearn".
- Peter_OHearn nationality "British/Canadian".
- Peter_OHearn placeOfBirth "Halifax, Nova Scotia, Canada".
- Peter_OHearn shortDescription "Computer scientist".
- Peter_OHearn wikiPageUsesTemplate Template:Canada-compu-bio-stub.
- Peter_OHearn wikiPageUsesTemplate Template:Infobox_scientist.
- Peter_OHearn wikiPageUsesTemplate Template:Persondata.
- Peter_OHearn wikiPageUsesTemplate Template:Reflist.
- Peter_OHearn wikiPageUsesTemplate Template:UK-academic-stub.
- Peter_OHearn workplaces Facebook,_London,_UK.
- Peter_OHearn workplaces "Queen Mary, University of London, UK".
- Peter_OHearn workplaces "University College London, UK".
- Peter_OHearn description "Computer scientist".
- Peter_OHearn description "Computer scientist".
- Peter_OHearn subject Category:1963_births.
- Peter_OHearn subject Category:Academics_of_Queen_Mary_University_of_London.
- Peter_OHearn subject Category:British_computer_scientists.
- Peter_OHearn subject Category:Canadian_computer_scientists.
- Peter_OHearn subject Category:Canadian_emigrants_to_the_United_Kingdom.
- Peter_OHearn subject Category:Dalhousie_University_alumni.
- Peter_OHearn subject Category:Formal_methods_people.
- Peter_OHearn subject Category:Living_people.
- Peter_OHearn subject Category:People_from_Halifax,_Nova_Scotia.
- Peter_OHearn subject Category:Queens_University_alumni.
- Peter_OHearn subject Category:Syracuse_University_faculty.
- Peter_OHearn hypernym Scientist.
- Peter_OHearn type Agent.
- Peter_OHearn type List.
- Peter_OHearn type Person.
- Peter_OHearn type Scientist.