Charles Hoare#

Charles Hoare
Membership Number:315
Membership type:ORDINARY
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"

Imprint Privacy policy « This page (revision-13) was last changed on Monday, 27. February 2023, 12:50 by Kaiser Dana
  • operated by