One of the big names in ComputerScience.

There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies.

It was he who discovered QuickSort in 1960, which is perhaps the single most widely used Algorithm ever.

He also described the formal logic system now known as Hoare logic or Hoare calculus in his 1969 paper An axiomatic basis for computer programming. This system defines axioms which can be used to reason about computer programs in order to do such things as formally proving their correctness.

He now works at the Microsoft Research Labs.