Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7176171> ?p ?o }
Showing triples 1 to 93 of
93
with 100 triples per page.
- Q7176171 description "Computer scientist".
- Q7176171 description "Computer scientist".
- Q7176171 subject Q5312304.
- Q7176171 subject Q5835830.
- Q7176171 subject Q6847952.
- Q7176171 subject Q7034583.
- Q7176171 subject Q7234768.
- Q7176171 subject Q8218997.
- Q7176171 subject Q8339131.
- Q7176171 subject Q8359691.
- Q7176171 subject Q8466127.
- Q7176171 subject Q8479173.
- Q7176171 subject Q8615277.
- Q7176171 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.".
- Q7176171 almaMater Q1420038.
- Q7176171 almaMater Q579321.
- Q7176171 birthDate "1963-07-13".
- Q7176171 birthPlace Q16.
- Q7176171 birthPlace Q1952.
- Q7176171 birthPlace Q2141.
- Q7176171 birthYear "1963".
- Q7176171 citizenship Q145.
- Q7176171 citizenship Q16.
- Q7176171 country Q145.
- Q7176171 field Q21198.
- Q7176171 influencedBy Q3719620.
- Q7176171 knownFor Q3257964.
- Q7176171 thumbnail Peter_OHearn.jpg?width=300.
- Q7176171 wikiPageExternalLink p.ohearn.
- Q7176171 wikiPageWikiLink Q1049183.
- Q7176171 wikiPageWikiLink Q1144725.
- Q7176171 wikiPageWikiLink Q1384.
- Q7176171 wikiPageWikiLink Q1420038.
- Q7176171 wikiPageWikiLink Q145.
- Q7176171 wikiPageWikiLink Q16.
- Q7176171 wikiPageWikiLink Q190080.
- Q7176171 wikiPageWikiLink Q1904.
- Q7176171 wikiPageWikiLink Q193196.
- Q7176171 wikiPageWikiLink Q1952.
- Q7176171 wikiPageWikiLink Q195668.
- Q7176171 wikiPageWikiLink Q202973.
- Q7176171 wikiPageWikiLink Q21198.
- Q7176171 wikiPageWikiLink Q2141.
- Q7176171 wikiPageWikiLink Q30.
- Q7176171 wikiPageWikiLink Q3257964.
- Q7176171 wikiPageWikiLink Q3719620.
- Q7176171 wikiPageWikiLink Q5312304.
- Q7176171 wikiPageWikiLink Q579321.
- Q7176171 wikiPageWikiLink Q5835830.
- Q7176171 wikiPageWikiLink Q617433.
- Q7176171 wikiPageWikiLink Q6847952.
- Q7176171 wikiPageWikiLink Q7034583.
- Q7176171 wikiPageWikiLink Q7234768.
- Q7176171 wikiPageWikiLink Q8218997.
- Q7176171 wikiPageWikiLink Q82594.
- Q7176171 wikiPageWikiLink Q8339131.
- Q7176171 wikiPageWikiLink Q8359691.
- Q7176171 wikiPageWikiLink Q8466127.
- Q7176171 wikiPageWikiLink Q8479173.
- Q7176171 wikiPageWikiLink Q8615277.
- Q7176171 almaMater "Dalhousie University, Halifax, Canada".
- Q7176171 almaMater "Queen's University, Kingston, Canada".
- Q7176171 birthDate "1963-07-13".
- Q7176171 birthPlace Q16.
- Q7176171 birthPlace Q2141.
- Q7176171 citizenship "United Kingdom/Canada".
- Q7176171 dateOfBirth "1963-07-13".
- Q7176171 fields Q21198.
- Q7176171 influences Q3719620.
- Q7176171 knownFor Q3257964.
- Q7176171 name "Ohearn, Peter".
- Q7176171 name "Peter W. O'Hearn".
- Q7176171 placeOfBirth "Halifax, Nova Scotia, Canada".
- Q7176171 shortDescription "Computer scientist".
- Q7176171 type Person.
- Q7176171 type Agent.
- Q7176171 type Person.
- Q7176171 type Scientist.
- Q7176171 type Agent.
- Q7176171 type NaturalPerson.
- Q7176171 type Thing.
- Q7176171 type Q215627.
- Q7176171 type Q5.
- Q7176171 type Q901.
- Q7176171 type Person.
- Q7176171 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.".
- Q7176171 label "Peter O'Hearn".
- Q7176171 depiction Peter_OHearn.jpg.
- Q7176171 givenName "Peter".
- Q7176171 name "Ohearn, Peter".
- Q7176171 name "Peter Ohearn".
- Q7176171 name "Peter W. O'Hearn".
- Q7176171 surname "Ohearn".