!!!Charles Hoare \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='hoare_charles_small.jpg' alt='Charles Hoare' height='200'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ __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__ [{AcadMemberFOScholarshipPlugin}] \\ __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" \\ \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Hoare_Charles/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Hoare_Charles/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Hoare_Charles/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] -->[Other information|User/Hoare_Charles/OtherInformation] %% %% [{ALLOW view All}] [{ALLOW edit choare}] [{ALLOW upload choare}] [{ALLOW comment All}]