Charles Antony Richard Hoare
informaticien britannique / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Charles Antony Richard Hoare?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir 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.
Naissance | |
---|---|
Surnom | |
Nationalité | |
Domicile | |
Formation | |
Activités | |
Père |
Henry Samuel Malortie Hoare (d) |
Mère |
Marjorie Francis Villiers (d) |
Conjoint |
Jill Pym (en) |
A travaillé pour | |
---|---|
Membre de |
Academia Europaea () Académie américaine des sciences () Académie bavaroise des sciences Royal Society Académie des Lyncéens UK Computing Research Committee (d) |
Directeur de thèse | |
Site web | |
Distinction |
Sir |
---|
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.