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
- 1981 ACM Turing Award
- 1981 AFIP Harry Goode Memorial Award
- 1982 Fellow of the Royal Society
- 1985 IEE Faraday medal
- 1991 IEEE Computer Pioneer Award
- 2000 Kyoto Prize
- 2000 Knight Bachelor
- Numerous honorary doctorates
- Corresponding Member of the Bavarian Academy of Sciences
