John Hoare

URI: https://gptkb.org/entity/John_Hoare
GPTKB entity
Statements (29)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Stanford_University
gptkb:University_of_Oxford
gptkbp:alsoKnownAs gptkb:C._A._R._Hoare
gptkbp:awardReceived gptkb:Order_of_the_British_Empire
Turing Award
gptkbp:birthDate 1934-01-11
gptkbp:birthName gptkb:Charles_Antony_Richard_Hoare
gptkbp:children 5
gptkbp:doctoralAdvisor gptkb:Stanley_Gill
gptkbp:employer gptkb:University_of_Oxford
gptkb:Microsoft_Research_Cambridge
gptkbp:fieldOfWork gptkb:programming_language
computer science
concurrent computing
formal methods
https://www.w3.org/2000/01/rdf-schema#label John Hoare
gptkbp:knownFor gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
gptkbp:name gptkb:John_Hoare
gptkbp:nationality British
gptkbp:notableWork gptkb:Communicating_Sequential_Processes
gptkb:Quicksort
gptkbp:occupation gptkb:computer_scientist
gptkbp:spouse gptkb:Jill_Hoare
gptkbp:bfsParent gptkb:Sir_John_Hoare,_1st_Baronet
gptkb:Anne_Hoare
gptkbp:bfsLayer 8