Charles Hoare#
Membership Number: | 315 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 1989 |
Main Country of Residence: | UNITED KINGDOM |
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
- Axiomatic semantics
- Sorting
- Verified software
- Shared memory
- Distributed computing
- Theory of programming
Honours and Awards
- 1978 Distinguished Fellow of the British Computer Society (1978)
- 1980 Turing Award for "fundamental contributions to the definition and design of programming languages"
- 1981 Harry H. Goode Memorial Award
- 1982 Fellow of the Royal Society
- 1087 Honorary Doctorate of Science by the Queen's University Belfast
- 1993 Honorary Doctorate of Science, from the University of Bath
- 1998 Honorary Fellow, Kellogg College, Oxford
- 2000 Knighted for services to education and computer science
- 2000 Kyoto Prize for Information science
- 2005 Fellow of the Royal Academy of Engineering
- 2006 Member of the National Academy of Engineering for fundamental contributions to computer science in the areas of algorithms, operating systems, and programming languages
- 2006 Computer History Museum (CHM) in Mountain View, California Fellow of the Museum "for development of the Quicksort algorithm and for lifelong contributions to the theory of programming languages"
- 2007 Honorary Doctorate from Heriot-Watt University
- 2007 Honorary Doctorate of Science from the Department of Informatics of the Athens University of Economics and Business (AUEB)
- 2007 Friedrich L. Bauer-Prize, Technical University of Munich
- S2011 IGPLAN Programming Languages Achievement Award
- IEEE John von Neumann Medal (2011)[38]
- 2012 Honorary Doctorate, University of Warsaw
- 2013 Honorary Doctorate, Complutense University of Madrid
- 1973 ACM Programming Systems and Languages Paper Award, for the paper "Proof of correctness of data representations"