Charles Hoare#


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


Imprint Privacy policy « This page (revision-12) was last changed on Thursday, 21. October 2021, 16:35 by Kaiser Dana
  • operated by