Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Peter_O'Hearn> ?p ?o. }
- Peter_O'Hearn 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.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.".
- Peter_O'Hearn almaMater Canada.
- Peter_O'Hearn almaMater Dalhousie_University.
- Peter_O'Hearn almaMater Halifax_(former_city).
- Peter_O'Hearn almaMater Kingston,_Ontario.
- Peter_O'Hearn almaMater Queen's_University.
- Peter_O'Hearn birthDate "1963-07-13".
- Peter_O'Hearn birthPlace Canada.
- Peter_O'Hearn birthPlace Halifax_(former_city).
- Peter_O'Hearn birthPlace Nova_Scotia.
- Peter_O'Hearn birthYear "1963".
- Peter_O'Hearn citizenship Canada.
- Peter_O'Hearn citizenship United_Kingdom.
- Peter_O'Hearn country United_Kingdom.
- Peter_O'Hearn doctoralAdvisor Robert_D._Tennent.
- Peter_O'Hearn field Computer_science.
- Peter_O'Hearn influencedBy John_C._Reynolds.
- Peter_O'Hearn knownFor Separation_logic.
- Peter_O'Hearn thumbnail Peter_O'Hearn.jpg?width=300.
- Peter_O'Hearn wikiPageExternalLink p.ohearn.
- Peter_O'Hearn wikiPageID "30507112".
- Peter_O'Hearn wikiPageRevisionID "552987776".
- Peter_O'Hearn almaMater "Dalhousie University, Halifax, Canada".
- Peter_O'Hearn almaMater "Queen's University, Kingston, Canada".
- Peter_O'Hearn birthDate "1963-07-13".
- Peter_O'Hearn birthPlace Canada.
- Peter_O'Hearn birthPlace Halifax_(former_city).
- Peter_O'Hearn citizenship "United Kingdom/Canada".
- Peter_O'Hearn dateOfBirth "1963-07-13".
- Peter_O'Hearn doctoralAdvisor Robert_D._Tennent.
- Peter_O'Hearn fields Computer_science.
- Peter_O'Hearn hasPhotoCollection Peter_O'Hearn.
- Peter_O'Hearn influences John_C._Reynolds.
- Peter_O'Hearn knownFor Separation_logic.
- Peter_O'Hearn name "Ohearn, Peter".
- Peter_O'Hearn name "Peter W. O'Hearn".
- Peter_O'Hearn nationality "British/Canadian".
- Peter_O'Hearn placeOfBirth "Halifax, Nova Scotia, Canada".
- Peter_O'Hearn shortDescription "Computer scientist".
- Peter_O'Hearn workplaces "Queen Mary, University of London, UK".
- Peter_O'Hearn workplaces "University College London, UK".
- Peter_O'Hearn description "Computer scientist".
- Peter_O'Hearn description "Computer scientist".
- Peter_O'Hearn subject Category:1963_births.
- Peter_O'Hearn subject Category:Academics_of_Queen_Mary,_University_of_London.
- Peter_O'Hearn subject Category:British_computer_scientists.
- Peter_O'Hearn subject Category:British_people_of_Canadian_descent.
- Peter_O'Hearn subject Category:Canadian_computer_scientists.
- Peter_O'Hearn subject Category:Dalhousie_University_alumni.
- Peter_O'Hearn subject Category:Formal_methods_people.
- Peter_O'Hearn subject Category:Living_people.
- Peter_O'Hearn subject Category:People_from_Halifax,_Nova_Scotia.
- Peter_O'Hearn subject Category:Queen's_University_alumni.
- Peter_O'Hearn subject Category:Syracuse_University_faculty.
- Peter_O'Hearn type Academician109759069.
- Peter_O'Hearn type AcademicsOfQueenMary,UniversityOfLondon.
- Peter_O'Hearn type Adult109605289.
- Peter_O'Hearn type Alumnus109786338.
- Peter_O'Hearn type BritishComputerScientists.
- Peter_O'Hearn type BritishPeopleOfCanadianDescent.
- Peter_O'Hearn type CanadianComputerScientists.
- Peter_O'Hearn type CausalAgent100007347.
- Peter_O'Hearn type ComputerScientist109951070.
- Peter_O'Hearn type ComputerUser109951274.
- Peter_O'Hearn type DalhousieUniversityAlumni.
- Peter_O'Hearn type Educator110045713.
- Peter_O'Hearn type FormalMethodsPeople.
- Peter_O'Hearn type Intellectual109621545.
- Peter_O'Hearn type LivingPeople.
- Peter_O'Hearn type LivingThing100004258.
- Peter_O'Hearn type Object100002684.
- Peter_O'Hearn type Organism100004475.
- Peter_O'Hearn type PeopleFromHalifax,NovaScotia.
- Peter_O'Hearn type Person100007846.
- Peter_O'Hearn type PhysicalEntity100001930.
- Peter_O'Hearn type Professional110480253.
- Peter_O'Hearn type Queen'sUniversityAlumni.
- Peter_O'Hearn type Scholar110557854.
- Peter_O'Hearn type Scientist110560637.
- Peter_O'Hearn type Whole100003553.
- Peter_O'Hearn type YagoLegalActor.
- Peter_O'Hearn type YagoLegalActorGeo.
- Peter_O'Hearn type Agent.
- Peter_O'Hearn type Person.
- Peter_O'Hearn type Scientist.
- Peter_O'Hearn type Person.
- Peter_O'Hearn type Q215627.
- Peter_O'Hearn type Q5.
- Peter_O'Hearn type Agent.
- Peter_O'Hearn type NaturalPerson.
- Peter_O'Hearn type Thing.
- Peter_O'Hearn type Person.
- Peter_O'Hearn comment "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.".
- Peter_O'Hearn label "Peter O'Hearn".
- Peter_O'Hearn sameAs m.0g9z5yx.
- Peter_O'Hearn sameAs Q7176171.
- Peter_O'Hearn sameAs Q7176171.
- Peter_O'Hearn sameAs Peter_O'Hearn.
- Peter_O'Hearn wasDerivedFrom Peter_O'Hearn?oldid=552987776.
- Peter_O'Hearn depiction Peter_O'Hearn.jpg.