Tony Hoare
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 90 |
| Date of birth | January 11,1934 |
| Zodiac sign | Capricorn |
| Born | Colombo |
| Sri Lanka | |
| Residence | Cambridge |
| United Kingdom | |
| Known for | Quickselect |
| Hoare logic | |
| Null pointer | |
| Communicating sequential processes | |
| Structured programming | |
| Quicksort | |
| Job | Software Developer |
| Writer | |
| Computer scientist | |
| Education | University of Oxford |
| Moscow State University | |
| Merton College | |
| Dragon School | |
| The King's School | |
| Awards | IEEE John von Neumann Medal |
| Kyoto Prize | |
| Computer Pioneer Award | |
| Harry H. Goode Memorial Award | |
| IET Faraday Medal | |
| Kyoto Prize in Advanced Technology | |
| Turing Award | |
| Official site | ox.ac.uk |
| Current partner | Jill Pym |
| Other name | C. A. R. Hoare |
| Doctor student | Cliff Jones |
| Parents | Henry Samuel Malortie Hoare |
| Marjorie Francis Villiers | |
| Notable student | Bill Roscoe |
| Cliff Jones | |
| Grandparents | Arthur Fanshawe Hoare |
| Dorothy Katherine Lane | |
| Evelyn Charles Villiers | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 542234 |
Unifying Theories of Programming
Communicating Sequential Processes
Structured Programming
Mechanised Reasoning and Hardware Design
Essays in computing science
Occam 2 Reference Manual
Developments in Concurrency and Communication
Software System Reliability and Security
Data Refinement in a Categorical Setting
The Mathematics of Programming: An Inaugural Lecture Delivered Before the University of Oxford on 17 October 1985
Algebraic Specification and Proof O
Computer Science: An Inaugural Lecture Delivered Before the Queen's University of Belfast on 10 February 1971
Two Public Lectures
Communicating Sequential Processes
Structured Programming
Mechanised Reasoning and Hardware Design
Essays in computing science
Occam 2 Reference Manual
Developments in Concurrency and Communication
Software System Reliability and Security
Data Refinement in a Categorical Setting
The Mathematics of Programming: An Inaugural Lecture Delivered Before the University of Oxford on 17 October 1985
Algebraic Specification and Proof O
Computer Science: An Inaugural Lecture Delivered Before the Queen's University of Belfast on 10 February 1971
Two Public Lectures
Tony Hoare Life story
Sir Charles Antony Richard Hoare FRS FREng is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing.
Tony Hoare Photos
