Naissance de "C.A.R Hoare", informaticien britannique, inventeur de l’approche axiomatique

Charles Antony Richard (Tony) Hoare

Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory.

Il est connu pour avoir inventé quicksort en 1960, un algorithme de tri rapide, encore très utilisé de nos jours. Hoare est le premier à avoir écrit un compilateur complet pour le langage Algol 60, y compris l’appel de procédures récursives ; il est à l’origine de la logique de Hoare qui sert à la vérification de la correction de programmes et du langage formel Communicating sequential processes (CSP) qui permet de spécifier l’interaction de processus concurrents (en) (y compris le fameux problème du dîner des philosophes) et qui a inspiré les langages de programmation Occam ou Ada ainsi que le concept de moniteur.

Il obtient de nombreux prix, dont le Prix Turing en 1980 pour « ses contributions fondamentales à la définition et la conception des langages de programmation ».