|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Merton_College,_Oxford
gptkb:University_of_Oxford
|
|
gptkbp:awardReceived
|
gptkb:Computer_Pioneer_Award
gptkb:Faraday_Medal
gptkb:Fellow_of_the_Royal_Society
gptkb:John_von_Neumann_Medal
gptkb:Nobel_Prize_in_Physics
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:Stanley_Gill
gptkb:Tony_Brooker
|
|
gptkbp:education
|
gptkb:Merton_College,_Oxford
gptkb:University_of_Oxford
|
|
gptkbp:employer
|
gptkb:Microsoft_Research
gptkb:Queen's_University_Belfast
gptkb:Stanford_University
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
|
C.A.R. Hoare
|
|
gptkbp:influenced
|
gptkb:Robin_Milner
gptkb:Tony_Hoare
gptkb:Edsger_W._Dijkstra
|
|
gptkbp:influencedBy
|
gptkb:Alan_Turing
gptkb:Alonzo_Church
gptkb:John_McCarthy
|
|
gptkbp:knownFor
|
gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
null reference
|
|
gptkbp:memberOf
|
gptkb:Academia_Europaea
gptkb:Royal_Academy_of_Engineering
gptkb:Royal_Society
gptkb:British_Computer_Society
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableStudent
|
gptkb:Tony_Hoare
|
|
gptkbp:notableWork
|
gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
gptkb:CSP_(process_calculus)
gptkb:Monitors_(synchronization)
gptkb:ALGOL_W
null reference
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:spouse
|
gptkb:Jill_Hoare
|
|
gptkbp:thesisTitle
|
gptkb:Quicksort
|
|
gptkbp:thesisYear
|
1968
|
|
gptkbp:website
|
https://www.cs.ox.ac.uk/people/tony.hoare/
|
|
gptkbp:bfsParent
|
gptkb:structured_programming_movement
|
|
gptkbp:bfsLayer
|
6
|