La mise en œuvre d'une référence nulle en 1965 reste l'erreur la plus citée de la carrière de Tony Hoare, qui l'a qualifiée d'erreur à un milliard de dollars. Au-delà de cet aveu, ses contributions fondamentales à l'informatique comprennent le développement de l'algorithme de tri rapide (quicksort), la logique formelle pour la vérification des programmes et la spécification des systèmes concurrents par le biais des processus séquentiels communicants.
Éducation précoce et échange soviétique
Né à Colombo en 1934, Tony Hoare a fait ses études primaires à la Dragon School d'Oxford et à The King's School de Canterbury. Il a poursuivi des études de lettres classiques et de philosophie au Merton College de l'Université d'Oxford, obtenant son diplôme en 1956. Durant son service national ultérieur dans la Royal Navy, il a acquis la maîtrise de la langue russe. Cette compétence lui a permis de passer une période en tant qu'étudiant d'échange du British Council à l'Université d'État Lomonossov de Moscou, où il a étudié la traduction automatique sous la supervision d'Andreï Kolmogorov.
Contributions aux algorithmes et à la logique
En quittant l'Union soviétique en 1960, Hoare a rejoint la société Elliott Brothers Ltd à Londres. Pendant cette période, il a développé l'algorithme quicksort et a travaillé sur un compilateur pour ALGOL 60. Son parcours professionnel l'a mené vers des postes universitaires, notamment celui de professeur d'informatique à l'Université Queen's de Belfast en 1968. Il est retourné à l'Université d'Oxford en 1977, où il a dirigé le groupe de recherche en programmation et a occupé le poste de premier professeur d'informatique Christopher Strachey de 1988 jusqu'à sa retraite en 2000.
Méthodes formelles et concurrence
Les recherches de Hoare se sont concentrées sur l'intégrité structurelle des logiciels. Il a développé la logique de Hoare afin de fournir une base axiomatique pour vérifier la correction des programmes. Dans le domaine du calcul concurrent, il a introduit les processus séquentiels communicants (CSP), un langage formel conçu pour spécifier les interactions entre des processus concurrents. Ses travaux dans ces domaines visaient à résoudre les problèmes de fiabilité dans les grands systèmes, bien qu'il ait reconnu par la suite que l'adoption industrielle de ces méthodes formelles se heurtait à des limites pratiques importantes.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Distinctions professionnelles et dernières années
Tout au long de sa carrière, Hoare a reçu de nombreuses distinctions, notamment le prix Turing de l'ACM en 1980, la médaille Faraday en 1985 et un titre de chevalier en 2000. Il était membre de la Royal Society et de plusieurs organisations internationales, dont la National Academy of Sciences et l'Academia Europaea. Après sa retraite d'Oxford, il a occupé les fonctions de chercheur principal chez Microsoft Research à Cambridge. Hoare est décédé à Cambridge le 5 mars 2026.
En bref
- Naissance : 1934, Colombo - Décès : 2026, Cambridge - Algorithme notable : Quicksort - Domaine principal : Informatique - Année du prix Turing : 1980 - Rôles académiques clés : Université d'Oxford, Université Queen's de Belfast - Anobli : 2000 - Langues parlées : latin, anglais, russe, grec ancien
Questions fréquemment posées
### Quelle a été l'erreur à un milliard de dollars ?
Hoare a utilisé ce terme pour décrire son invention en 1965 de la référence nulle, qu'il a mise en œuvre lors de la conception du système de types pour ALGOL W, notant qu'elle avait entraîné des erreurs de système généralisées.
### Que sont les processus séquentiels communicants ?
Il s'agit d'un langage formel introduit par Hoare, utilisé pour spécifier et décrire les interactions entre des processus concurrents au sein d'un système informatique.
