|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:University_of_Oxford
|
|
gptkbp:awards
|
gptkb:Computer_Pioneer_Award
gptkb:Faraday_Medal
gptkb:Nobel_Prize_in_Physics
gptkb:Order_of_the_British_Empire
gptkb:Royal_Society_Fellow
Turing Award
|
|
gptkbp:birthDate
|
1934-01-11
|
|
gptkbp:birthPlace
|
gptkb:Colombo,_British_Ceylon
|
|
gptkbp:citizenship
|
gptkb:United_Kingdom
|
|
gptkbp:doctoralAdvisor
|
gptkb:Tony_Brooker
|
|
gptkbp:education
|
gptkb:Merton_College,_Oxford
gptkb:University_of_Oxford
|
|
gptkbp:employer
|
gptkb:Microsoft_Research
gptkb:University_of_Oxford
|
|
gptkbp:field
|
gptkb:programming_language
computer science
concurrent computing
formal methods
|
|
gptkbp:fullName
|
gptkb:Charles_Antony_Richard_Hoare
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Charles Hoare
|
|
gptkbp:influenced
|
gptkb:Edsger_Dijkstra
gptkb:Robin_Milner
gptkb:Tony_Hoare
gptkb:C._A._R._Hoare
|
|
gptkbp:knownFor
|
gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
null pointer
|
|
gptkbp:language
|
English
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableStudent
|
gptkb:Tony_Hoare
gptkb:Simon_Peyton_Jones
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:residence
|
gptkb:United_Kingdom
|
|
gptkbp:spouse
|
gptkb:Jill_Hoare
|
|
gptkbp:bfsParent
|
gptkb:Hoare_family
gptkb:Beatrice_Holme_Sumner
gptkb:Hoare
gptkb:Hoare_banking_family
|
|
gptkbp:bfsLayer
|
8
|