United Kingdom - 2020
For contributions to the theory of programming, and its application to the practice of engineering of softwarePress Release
United Kingdom - 1980READ FULL CITATION AND ESSAY
For his fundamental contributions to the definition and design of programming languages.
United Kingdom - 1973
Proof of correctness of data representations, Acta Informatica, 1, 4 (December 1972)