GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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