|
gptkbp:instanceOf
|
gptkb:computer_scientist
|
|
gptkbp:almaMater
|
gptkb:Moscow_State_University
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:Knight_Bachelor
gptkb:Royal_Medal
gptkb:Dijkstra_Prize
Turing Award
|
|
gptkbp:birthDate
|
1934-01-11
|
|
gptkbp:birthName
|
gptkb:Charles_Antony_Richard_Hoare
|
|
gptkbp:birthPlace
|
gptkb:Colombo,_British_Ceylon
|
|
gptkbp:children
|
3
|
|
gptkbp:doctoralAdvisor
|
gptkb:Andrey_Kolmogorov
|
|
gptkbp:education
|
gptkb:Moscow_State_University
gptkb:University_of_Oxford
|
|
gptkbp:fieldOfWork
|
gptkb:programming_language
computer science
concurrent computing
formal methods
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Sir Tony Hoare
|
|
gptkbp:influenced
|
gptkb:Robin_Milner
gptkb:Edsger_W._Dijkstra
Tony Hoare's work influenced many in computer science
|
|
gptkbp:influencedBy
|
gptkb:Alonzo_Church
gptkb:Andrey_Kolmogorov
|
|
gptkbp:knownFor
|
gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
null reference
|
|
gptkbp:language
|
English
|
|
gptkbp:memberOf
|
gptkb:Academia_Europaea
gptkb:Royal_Academy_of_Engineering
gptkb:Royal_Society
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableStudent
|
C. A. R. Hoare's students include several prominent computer scientists
|
|
gptkbp:notableWork
|
gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
null reference
|
|
gptkbp:residence
|
gptkb:United_Kingdom
|
|
gptkbp:retired
|
yes
|
|
gptkbp:spouse
|
gptkb:Jill_Hoare
|
|
gptkbp:title
|
gptkb:professor
Sir
|
|
gptkbp:workInstitution
|
gptkb:Microsoft_Research
gptkb:Queen's_University_Belfast
gptkb:University_of_Oxford
|
|
gptkbp:bfsParent
|
gptkb:Wadham_College
|
|
gptkbp:bfsLayer
|
4
|