Charles Hoare#
| Membership Number: | 315 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 1989 |
| Main Country of Residence: | UNITED KINGDOM |
| Homepage(s): | http://www.research.microsoft.com/en-us/people/thoare |
Present and Previous Positions
- 1999 Principal Researcher Microsoft Research Ltd., UK
- 1977-1999 Professor of Computing, Oxford University, UK
- 1968-1977 Professor of Computing Science, The Queen's University, Belfast
- 1960-1968 Programmer, manager, scientist, Elliott Bros. London Ltd.
Fields of Scholarship
- Sorting
- Theory of programming
- Axiomatic semantics
- Verified software
- Distributed computing
- Shared memory
Honours and Awards
- Frs, Freng, Soc. Stran Acc. dei Lincei
- ACM Turing Award, 1981
- AFIP Harry Goode Memorial Award, 1981
- Fellow of the Royal Society, 1982
- IEE Faraday medal, 1985
- IEEE Computer Pioneer Award, 1991
- Kyoto Prize, 2000
- Knight Bachelor, 2000
- Numerous honorary doctorates
- Corresponding Member of the Bavarian Academy of Sciences
