LONDON Sir Tony Hoare, senior researcher at Microsoft Research Cambridge has been elected as a Fellow of the UK Royal Academy of Engineering.
Sir Tony has worked in computing for nearly fifty years, with over thirty years in the academic sector teaching at Queens University in Belfast where he built up a strong teaching and research department, and published a series of papers on the use of assertions to prove correctness of computer programs. He was also Professor of Computing at Oxford for over twenty years, where the Computing Department's research culminated in the Z specification method and the CSP concurrent programming model.
This latest accolade follows Tony's previous awards which range from the Turing Award and the Kyoto prize as well as his knighthood. Tony is already a Fellow of the Royal Society. This award is the third UK distinction for Microsoft Research in the current year, in which Andrew Blake and Luca Cardelli were elected Fellows of the Royal Society. Luca Cardelli and Simon Peyton Jones have also been awarded Fellowships of the ACM.
The Royal Academy of Engineering now has 1264 Fellows, 29 Honorary Fellows and 90 International Fellows. As a national academy, it provides independent and impartial advice to Government and work to secure the next generation of engineers; and provide a voice for Britain's engineering community.