Peter O'Hearn

URI: https://gptkb.org/entity/Peter_O'Hearn

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Cambridge
gptkbp:awardReceived	gptkb:Gödel_Prize gptkb:Royal_Society_Fellowship
gptkbp:birthYear	1963
gptkbp:doctoralAdvisor	gptkb:Glynn_Winskel
gptkbp:employer	gptkb:Meta_Platforms
gptkbp:field	gptkb:programming_language computer science concurrent computing formal methods
gptkbp:formerPosition	gptkb:Queen_Mary_University_of_London gptkb:University_College_London
gptkbp:founder	gptkb:Monoidics
https://www.w3.org/2000/01/rdf-schema#label	Peter O'Hearn
gptkbp:inventedBy	gptkb:separation_logic
gptkbp:knownFor	gptkb:separation_logic gptkb:Infer_static_analyzer
gptkbp:Monoidics_acquiredBy	gptkb:Facebook
gptkbp:nationality	British
gptkbp:occupation	gptkb:computer_scientist
gptkbp:bfsParent	gptkb:John_C._Reynolds
gptkbp:bfsLayer	5