Sir Tony Hoare

Since retiring from Wolfson in 1999, Sir Tony Hoare has been employed as a full time researcher at Microsoft Research Ltd. in Cambridge. He continues his research interests in a Unifying Theory of Programming. Hoare hopes that it will be comprehensible to secondary school pupils of A-level mathematics, and useful to professional programmers in writing commercial software. 

In addition, Hoare hopes to publish a popular science book on computing, which traces the basic ideas of the subject back to logicians and philosophers of the past.