Charles Hoare#


Charles Hoare
Email:a-tohoar 'at' microsoft.com
Membership Number:315
Membership type:ORDINARY
Main Country of Residence:UNITED KINGDOM
Section:INFORMATICS
Username:choare
Homepage: 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
  • 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


Imprint Privacy policy « This page (revision-10) was last updated on Tuesday, 15. January 2013, 11:24 by Kaiser Dana
  • operated by