Charles Antony Richard Hoare

URI: https://gptkb.org/entity/Charles_Antony_Richard_Hoare

GPTKB entity

Statements (50)

Predicate	Object
gptkbp:instanceOf	gptkb:person
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: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:Andrey_Kolmogorov
gptkbp:education	gptkb:Moscow_State_University gptkb:University_of_Oxford
gptkbp:employer	gptkb:Queen's_University_Belfast gptkb:University_of_Oxford gptkb:Microsoft_Research_Cambridge
gptkbp:field	gptkb:programming_language computer science concurrent computing formal methods
gptkbp:fullName	gptkb:Charles_Antony_Richard_Hoare
gptkbp:honoraryDegree	gptkb:ETH_Zurich gptkb:University_of_Bath gptkb:University_of_Glasgow gptkb:University_of_York
https://www.w3.org/2000/01/rdf-schema#label	Charles Antony Richard Hoare
gptkbp:influenced	gptkb:Edsger_W._Dijkstra C. A. R. Hoare logic users
gptkbp:influencedBy	gptkb:Alonzo_Church gptkb:Andrey_Kolmogorov
gptkbp:language	English
gptkbp:memberOf	gptkb:Royal_Academy_of_Engineering gptkb:Royal_Society
gptkbp:nationality	British
gptkbp:notableWork	gptkb:Communicating_Sequential_Processes gptkb:Hoare_logic gptkb:Quicksort
gptkbp:occupation	gptkb:computer_scientist
gptkbp:residence	gptkb:United_Kingdom
gptkbp:spouse	gptkb:Jill_Hoare
gptkbp:thesisTitle	gptkb:Quicksort
gptkbp:thesisYear	1968
gptkbp:TuringAwardYear	1980 fundamental contributions to the definition and design of programming languages
gptkbp:website	https://www.cs.ox.ac.uk/people/tony.hoare/
gptkbp:bfsParent	gptkb:Sir_Tony_Hoare
gptkbp:bfsLayer	5