|
gptkbp:instance_of
|
gptkb:physicist
|
|
gptkbp:alma_mater
|
gptkb:University_of_Cambridge
gptkb:University_of_Oxford
|
|
gptkbp:awards
|
gptkb:Turing_Award
|
|
gptkbp:birth_date
|
1934-01-11
|
|
gptkbp:birth_place
|
gptkb:Bristol,_England
|
|
gptkbp:born
|
January 1, 1934
|
|
gptkbp:children
|
gptkb:3
|
|
gptkbp:field
|
gptkb:architect
gptkb:Artificial_Intelligence
gptkb:computer_science
gptkb:quantum_computing
gptkb:software_framework
gptkb:Cloud_Computing_Service
gptkb:robot
gptkb:typeface
gptkb:document
gptkb:technology
gptkb:currency
formal verification
big data
cybersecurity
database systems
theoretical computer science
algorithm design
computer programming
computer vision
data structures
embedded systems
human-computer interaction
network protocols
operating systems
software maintenance
bioinformatics
data mining
distributed systems
computational complexity
program verification
software testing
concurrency
software metrics
software engineering research
software quality assurance
software development methodologies
software project management
logic programming
software engineering education
internet of things
software configuration management
programming methodology
software architecture design
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
C. A. R. Hoare
|
|
gptkbp:influenced
|
gptkb:Edsger_W._Dijkstra
gptkb:Tony_Hoare
|
|
gptkbp:influenced_by
|
gptkb:Alan_Turing
|
|
gptkbp:known_for
|
gptkb:language
software engineering
Hoare logic
Quicksort algorithm
|
|
gptkbp:nationality
|
gptkb:British
|
|
gptkbp:occupation
|
gptkb:University
|
|
gptkbp:residence
|
gptkb:United_Kingdom
|
|
gptkbp:spouse
|
Diana Hoare
|
|
gptkbp:work_location
|
gptkb:Royal_Holloway,_University_of_London
gptkb:University_of_Cambridge
gptkb:University_of_Oxford
gptkb:Microsoft_Research
|
|
gptkbp:bfsParent
|
gptkb:Niklaus_Wirth
|
|
gptkbp:bfsLayer
|
3
|