Nos acercamos a la figura de Sir Charles Antony Richard Hoare en el primero de nuestros posts dedicados a quienes van a ser investidos doctor honoris causa en acto solemne el próximo 10 de mayo en esta facultad. Tony Hoare (Colombo, 1934) es un informático que llega al software partiendo de una formación clásica que incluye como es preceptivo en Oxford "todo el polvo latino y la ceniza griega".  Recordado tanto por sus algoritmos como por sus aforismos, Hoare ofrece manzanas de oro en bandeja de plata: "hay dos manera de hacer software, una tan simple que obviamente no tenga fallos y otra tan compleja que no tenga fallos obvios".

Los hitos en su carrera profesional son la invención de Quicksort, el modelo de programación de sistemas concurrentes CSP y el lenguaje Occam. Desempeñó su labor en empresas e instituciones como Elliot Brothers, Queen's University (Belfast), Oxford University, Inmos (compañía británica de semiconductores) y Microsoft Research. El propio Hoare resume su trayectoria en su artículo The emperor's old clothes (1981).

Algunos de sus trabajos más influyentes son:

An axiomatic basis for computer programming (1969)

Proof of a program: Find (1971).

Proof of correctness of data representations (1972).

Communicating Sequential Processes (1978).

The laws of programming (1987).

El impacto de Tony Hoare en la literatura científica puede entreverse en este informe del ISI Web of Science.

Ha sido distinguido con los siguientes premios: Turing Award (1980), Harry H. Goode Memorial Award (1981), Kyoto Price (2000), Programming Languages Achievement Award (2011), IEEE John von Neumann Medal (2011). C. A. R. Hoare es también doctor honoris causa por la Queen's University Belfast (1987), Universidad de Bath (1993), Athens University of Economics and Business (2007) y la Universidad de Varsovia (2012).