Charles Antony Richard Hoare

Carte Commune · n° 334258

Sir 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) et décédé le 5 mars 2026 à Cambridge, 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.

Lire sur Wikipédia · Image Rama, CC BY-SA 2.0 fr