'<p class=bio><img src=/images/tools/speakers/hoare.jpg width=100 align=left><b>Sir Tony Hoare</b> has been involved in programming methods and languages since the early 1960\'s, first at the Queen\'s University in Belfast, and later at Oxford University, as head of the Programming Research Group. He has contributed to proof techniques for programs and distributed computing. Hoare is a designer of the CSP system on which the OCCAM language and the transputer design are based. Currently at the Microsoft Research Laboratory, Cambridge, his research interests include linking theories of programming, and the application of these theories to the problems of legacy code. He is the recipient of the ACM\'s Turing Award (1980) and the Kyoto Prize (2000).'