After inventing the QuickSort algorithm, and designing the compiler for the Algol 60 programming language, Tony Hoare went on to apply axiomatic semantics to compiler design and his work and writings have since had a great influence on software engineering, and the way we specify, design, implement, and maintain computer programs. Now, at 75, he is working at Microsoft research on projects that will filter through to .NET languages.
… Read more