Charles Hoare#
| Email: | thoare 'at' microsoft.com |
| Membership Number: | 315 |
| Main Country of Residence: | UNITED KINGDOM |
| Section: | INFORMATICS |
| Username: | choare |
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
| operated by | 
|