of Computer Science, University of Oxford), following the death of Christopher Strachey. He is now an Emeritus Professor there, and is also a principal researcher at Microsoft Research in Cambridge, England. Hoare's most significant work has been in the following areas: his sorting and selection algorithm (Quicksort and Quickselect), Hoare logic, the formal language communicating sequential processes (CSP) used to specify the interactions between concurrent processes (and implemented in various programming languages such as occam), structuring computer operating systems using the monitor concept, and the axiomatic specification of programming languages. Speaking at a software conference in 2009, Tony Hoare apologized for inventing the null reference: For many years under his leadership, Hoare's Oxford department worked on formal specification languages such as CSP and Z. These did not achieve the expected take-up by industry, and in 1995 Hoare was led to reflect upon the original assumptions: Awards and honours Distinguished Fellow of the British Computer Society (1978) Turing Award for "fundamental contributions to the definition and design of programming languages". The award was presented to him at the ACM Annual Conference in Nashville, Tennessee, on 27 October 1980, by Walter Carlson, chairman of the Awards committee. A transcript of Hoare's speech was published in Communications of the ACM. Harry H. Goode Memorial Award (1981) Fellow of the Royal Society (1982) Honorary Doctorate of Science by the Queen's University Belfast (1987) Honorary Doctorate of Science, from the University of Bath (1993) Honorary Fellow, Kellogg College, Oxford (1998) Knighted for services to education and computer science (2000) Kyoto Prize for Information science (2000) Fellow of the Royal Academy of Engineering (2005) Member of the National Academy of Engineering (2006) for fundamental contributions to computer science in the areas of algorithms, operating systems, and programming languages. 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" (2006) 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 (2007) SIGPLAN Programming Languages Achievement Award (2011) IEEE John von Neumann Medal (2011) Honorary Doctorate, University of Warsaw (2012) Honorary Doctorate, Complutense University of Madrid (2013) 1973 ACM Programming Systems and Languages Paper Award, for the paper "Proof of correctness of data representations" Personal life In 1962,