Sir Charles Antony Richard Hoare

URI: https://gptkb.org/entity/Sir_Charles_Antony_Richard_Hoare
GPTKB entity
Statements (45)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkbp:almaMater gptkb:Moscow_State_University
gptkb:University_of_Oxford
gptkbp:alsoKnownAs gptkb:Tony_Hoare
gptkbp:award gptkb:Computer_Pioneer_Award
gptkb:Faraday_Medal
gptkb:IEEE_John_von_Neumann_Medal
gptkb:John_von_Neumann_Medal
gptkb:Knight_Bachelor
gptkb:Royal_Society_Fellow
Turing Award
gptkbp:birthDate 1934-01-11
gptkbp:birthPlace gptkb:Colombo,_Ceylon
gptkbp:children 3
gptkbp:citizenship gptkb:United_Kingdom
gptkbp:doctoralAdvisor gptkb:Andrey_Kolmogorov
gptkbp:education gptkb:Moscow_State_University
gptkb:University_of_Oxford
gptkbp:field gptkb:mathematics
computer science
gptkbp:honorificPrefix Sir
https://www.w3.org/2000/01/rdf-schema#label Sir Charles Antony Richard Hoare
gptkbp:influenced gptkb:programming_language
concurrent computing
formal methods
software engineering
gptkbp:influencedBy gptkb:Alonzo_Church
gptkb:Andrey_Kolmogorov
gptkbp:knownFor gptkb:Communicating_Sequential_Processes
gptkb:Hoare_logic
gptkb:Quicksort
null pointer
gptkbp:nationality British
gptkbp:notableStudent C. A. R. Hoare's students include Simon Peyton Jones
gptkbp:publishedIn gptkb:An_Axiomatic_Basis_for_Computer_Programming_(paper)
gptkb:Communicating_Sequential_Processes_(book)
gptkbp:retired 2011
gptkbp:signature C. A. R. Hoare signature.svg
gptkbp:spouse gptkb:Jill_Hoare
gptkbp:website https://www.cs.ox.ac.uk/people/tony.hoare/
gptkbp:workInstitution gptkb:Microsoft_Research
gptkb:Queen's_University_Belfast
gptkb:University_of_Oxford
gptkbp:bfsParent gptkb:Tony_Hoare
gptkbp:bfsLayer 5