C. Antony R. Hoare

Digital Library

ACM Fellows

United Kingdom - 2020

citation

For contributions to the theory of programming, and its application to the practice of engineering of software

Press Release

ACM A. M. Turing Award

United Kingdom - 1980

READ FULL CITATION AND ESSAY

citation

For his fundamental contributions to the definition and design of programming languages.

ACM Programming Systems and Languages Paper Award

United Kingdom - 1973

citation

Proof of correctness of data representations, Acta Informatica, 1, 4 (December 1972)