Charles Antony Richard Hoare

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

Il est connu pour avoir inventé en 1959/1960 l'algorithme de tri rapide encore très utilisé de nos jours (quicksort). 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 (y compris le célèbre problème du dîner des philosophes) et qui a inspiré les langages de programmation Occam ou Ada ainsi que le concept de moniteur. Informations fournies par Wikipedia