|
gptkbp:instanceOf
|
gptkb:human
|
|
gptkbp:almaMater
|
gptkb:Merton_College,_Oxford
|
|
gptkbp:alsoKnownAs
|
gptkb:Tony_Hoare
|
|
gptkbp:awardReceived
|
gptkb:Computer_Pioneer_Award
gptkb:Faraday_Medal
gptkb:Fellow_of_the_Royal_Society
gptkb:John_von_Neumann_Medal
gptkb:Knight_Bachelor
gptkb:Order_of_the_British_Empire
Turing Award
|
|
gptkbp:birthDate
|
1934-01-11
|
|
gptkbp:birthPlace
|
gptkb:Colombo,_British_Ceylon
|
|
gptkbp:children
|
3
|
|
gptkbp:doctoralAdvisor
|
gptkb:Christopher_Strachey
|
|
gptkbp:education
|
gptkb:University_of_Oxford
|
|
gptkbp:fieldOfWork
|
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
|
Richard Hoare
|
|
gptkbp:influenced
|
gptkb:Edsger_Dijkstra
gptkb:C._A._R._Hoare
|
|
gptkbp:knownFor
|
gptkb:CSP_(Communicating_Sequential_Processes)
gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
axiomatic semantics
null pointer
|
|
gptkbp:memberOf
|
gptkb:Academia_Europaea
gptkb:Royal_Academy_of_Engineering
gptkb:Royal_Society
gptkb:British_Computer_Society
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableStudent
|
gptkb:Edgar_F._Codd
gptkb:Leslie_Lamport
gptkb:Stephen_Brookes
|
|
gptkbp:notableWork
|
gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
null reference
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:spouse
|
gptkb:Jill_Hoare
|
|
gptkbp:workInstitution
|
gptkb:Queen's_University_Belfast
gptkb:Stanford_University
gptkb:University_of_Oxford
gptkb:Microsoft_Research_Cambridge
|
|
gptkbp:bfsParent
|
gptkb:Henry_Hoare_II
|
|
gptkbp:bfsLayer
|
7
|