Peter O'Hearn - CaLiGraph

Property	Value
rdf:type	Formal methods person Royal Society Wolfson Research Merit Award holder Canadian emigrant to England Fellow of the Royal Society elected in 2018 owl:NamedIndividual 1963 birth Academic of Queen Mary University of London Fellow of the Royal Academy of Engineering Living person People by Erdős number Person associated with University College London Person from Halifax, Nova Scotia Facebook employee British computer scientist Canadian computer scientist Dalhousie University alumnus Programmer
rdfs:label	Peter O'Hearn
owl:sameAs	dbr:Peter_O'Hearn
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Facebook_employees http://en.wikipedia.org/wiki/Category:1963_births http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Academy_of_Engineering http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_people_associated_with_University_College_London http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Royal_Society_Wolfson_Research_Merit_Award_holders http://en.wikipedia.org/wiki/Royal_Society_Wolfson_Research_Merit_Award http://en.wikipedia.org/wiki/Category:Academics_of_Queen_Mary_University_of_London http://en.wikipedia.org/wiki/Category:People_from_Halifax,_Nova_Scotia http://en.wikipedia.org/wiki/Category:People_from_Halifax,_Nova_Scotia,_by_occupation http://en.wikipedia.org/wiki/Dalhousie_University_Faculty_of_Computer_Science http://en.wikipedia.org/wiki/Category:British_computer_scientists http://en.wikipedia.org/wiki/Category:Dalhousie_University_alumni http://en.wikipedia.org/wiki/List_of_programmers http://en.wikipedia.org/wiki/Category:Canadian_computer_scientists http://en.wikipedia.org/wiki/Category:Canadian_emigrants_to_England http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_2018
skos:prefLabel	Peter O'Hearn
skos:altLabel	Peter W. O'Hearn
clgo:academicDiscipline	Computer science Program analysis Formal verification Programming language Theoretical computer science
clgo:almaMater	Dalhousie University Queen's University at Kingston
clgo:award	Dalhousie University Gödel Prize Royal Society Wolfson Research Merit Award Fellow of the Royal Academy of Engineering Doctor of Law Fellow of the Royal Society
clgo:birthDate	1963-07-13
clgo:birthName	Peter William O'Hearn
clgo:birthPlace	London Halifax, Nova Scotia Nova Scotia
clgo:birthYear	1963
clgo:deathPlace	England
clgo:influencedBy	John C. Reynolds
clgo:institution	Syracuse University Queen Mary University of London University College London Meta Platforms
clgo:knownFor	Bunched logic Facebook Separation logic Infer Static Analyzer
clgo:nationality	Canadians
clgo:type	Learned society

About: clgr:Peter_O'Hearn