About: Peter O'Hearn

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Peter O'Hearn Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatQueen'sUniversityAlumni, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type:

http://dbpedia.demo.openlinksw.com/c/2BWCe6YFg5

Peter William O'Hearn FRS FREng (born 13 July 1963 in Halifax, Nova Scotia), formerly a research scientist at Meta, is a Distinguished Engineer at Lacework and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatBritishComputerScientists yago:WikicatBritishPeopleOfCanadianDescent animal eukaryote scientist species yago:WikicatCanadianComputerScientists yago:WikicatDalhousieUniversityAlumni schema:Person yago:WikicatLivingPeople yago:WikicatPeopleFromHalifax,NovaScotia Scientist yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAcademicsOfQueenMary,UniversityOfLondon yago:WikicatFormalMethodsPeople yago:WikicatQueen'sUniversityAlumni
rdfs:label	Peter W. O’Hearn (de) Peter O'Hearn (fr) Peter O'Hearn (en)
rdfs:comment	Peter William O'Hearn FRS FREng (born 13 July 1963 in Halifax, Nova Scotia), formerly a research scientist at Meta, is a Distinguished Engineer at Lacework and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases. (en) Peter William O'Hearn, né le 13 juillet 1963 à Halifax (Nouvelle-Écosse, Canada), est un informaticien travaillant au Royaume-Uni. (fr) Peter W. O’Hearn (* 13. Juli 1963 in Halifax (Nova Scotia)) ist ein kanadischer Informatiker. Peter W. O’Hearn studierte Informatik an der Dalhousie University in Halifax mit dem Bachelor-Abschluss 1985 und an der Queen’s University (Kingston) mit dem Master-Abschluss 1987. Er wurde dort 1991 bei promoviert (Semantics of Non-interference: A natural approach). Externer Gutachter war dabei Stephen Brookes. Ab 1990 war er Assistant Professor an der Syracuse University und ab 1996 Reader und ab 1999 Professor am Queen Mary College der Universität London und ist seit 2012 Professor am University College London auf einem Royal Academy of Engineering/Microsoft Research Chair. Nachdem sein Startup-Unternehmen Monoidics von Facebook übernommen wurde arbeitet er seit 2013 auch als Engineering Manag (de)
foaf:name	Peter O'Hearn (en)
foaf:homepage	http://www0.cs.ucl.ac.uk/staff/p.ohearn/
name	Peter O'Hearn (en)
foaf:depiction
birth place	Halifax, Nova Scotia
birth place	Halifax, Nova Scotia, Canada (en)
birth date	1963-07-13 (xsd:date)
dct:subject	Canadian emigrants to England Royal Society Wolfson Research Merit Award holders 1963 births Living people Academics of University College London Queen's University at Kingston alumni Syracuse University faculty Facebook employees Gödel Prize laureates Academics of Queen Mary University of London Canadian computer scientists Dalhousie University alumni British computer scientists Fellows of the Royal Academy of Engineering People from Halifax, Nova Scotia Formal methods people Canadian Fellows of the Royal Society
Wikipage page ID	30507112 (xsd:integer)
Wikipage revision ID	1123505080 (xsd:integer)
Link from a Wikipage to another Wikipage	Carnegie Mellon University Queen's University at Kingston Queen Mary University of London Royal Academy of Engineering Royal Society Royal Society Wolfson Research Merit Award Canadian emigrants to England Royal Society Wolfson Research Merit Award holders Uber University College London Infer Static Analyzer 1963 births Living people Separation logic Mozilla Computer science Fellow of the Royal Academy of Engineering Professor Static program analysis Theoretical computer science Academics of University College London Queen's University at Kingston alumni Syracuse University faculty Facebook employees Gödel Prize laureates Tony Hoare

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 52 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software