One of the big names in ComputerScience.
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.
lib/main.php:944: Notice: PageInfo: Cannot find action page