Pour les articles homonymes, voir Hoare.

Charles Antony Richard Hoare

Charles Antony Richard Hoare, lors d'une conférence à l'EPFL le 20 juin 2011.

Biographie

Naissance	11 janvier 1934 (90 ans) Colombo
Surnom	Tony
Nationalité	britannique
Domicile	Cambridge
Formation	Université d'État de Moscou Université d'Oxford Merton College Dragon School
Activités	Informaticien, écrivain, programmeur, ingénieur, professeur d'université
Père	Henry Samuel Malortie Hoare (d)
Mère	Marjorie Francis Villiers (d)
Conjoint	Jill Pym (en)

Autres informations

A travaillé pour	Microsoft Université d'Oxford Université Queen's de Belfast
Membre de	Academia Europaea (1989) Académie américaine des sciences (2017) Association for Computing Machinery (2021) UK Computing Research Committee (d) Académie bavaroise des sciences Académie des Lyncéens Royal Society
Directeurs de thèse	Leslie Fox, Andreï Kolmogorov
Site web	www.cs.ox.ac.uk/people/tony.hoare
Distinction	prix Turing (1980) prix Harry H. Goode Memorial de la IEEE Computer Society (1981)

Titre honorifique

Sir

Œuvres principales

Tri rapide, Logique de Hoare, Communicating sequential processes, NULL

modifier - modifier le code - modifier Wikidata

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é 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.

Hoare est né à Colombo au Ceylan (maintenant Sri Lanka), fils d'un couple britannique. En 1956, il termine des études de lettres classiques (Classics) au Merton College de l'Université d'Oxford avec un diplôme de bachelor. Il poursuit pendant une année des études de statistiques au niveau gradué à Oxford, puis effectue son service militaire dans la Royal Navy. Ensuite il étudie le russe et la traduction automatique de langues naturelles, à l'Université Lomonossov, l'Université d'État de Moscou, dans l'école de Andreï Kolmogorov. En 1960, il quitte l'Union soviétique, et commence son premier travail, chez un petit fabricant anglais d'ordinateur, Elliott Brothers ; son premier travail est l’implémentation du langage Algol 60 sur les machines de ce constructeur. Il commence également ses premières études d'algorithmes, et publie notamment l'algorithme de tri appelé quicksort^[1]. En 1968 il est habilité à l'Université Queen's de Belfast. En 1977, il retourne à Oxford comme professeur d'informatique, et il prend, après la mort de Christopher Strachey, la direction du Programming Research Group du Oxford University Computing Laboratory, ancienne dénomination du département d'informatique de l'Université.

Hoare est professeur émérite de l'Université Oxford, et chercheur principal chez Microsoft Research à Cambridge, en Angleterre.

Ses contributions les plus significatives sont le célèbre algorithme de tri quicksort et l'algorithme de sélection quickselect, la logique de Hoare, le langage formel Communicating Sequential Processes (CSP) utilisé pour spécifier l’interaction entre des processus concurrents, structuration des systèmes d'exploitation d'ordinateurs par l'introduction du concept de moniteur, et la spécification formelle de langages de programmation^[2].

• 1980 Prix Turing pour « ses contributions fondamentales à la définition et la conception des langages de programmation ». Le prix lui a été remis lors de la conférence annuelle de l’ACM à Nashville, Tennessee, le 27 octobre 1980, par Walter Carlson, Chairman du comité des prix. Une transcription du discours de Hoare est paru sous le titre The Emperor's Old Clothes^[1].
• 1981 : prix Harry H. Goode Memorial Award de la IEEE Computer Society
• 1982 : Fellow de la Royal Society^[3].
• 2000 : élevé au rang de Knight Bachelor pour les services rendus à l'éducation à l'informatique
• 2000 : prix de Kyoto pour la science de l'information
• 2005 : Fellow de la Royal Academy of Engineering
• 2006 : Fellow du musée de l'histoire de l'ordinateur (CHM) à Mountain View « pour le développement de l'algorithme de Quicksort et pour l'ensemble de ses contributions à la théorie des langages de programmation »
• 2007 : prix Friedrich L. Bauer
• 2011 : prix des Programming Languages Achievement du SIGPLAN de l'ACM (2011)^[4]
• 2012 : médaille John von Neumann de l'IEEE^[5]

• 1987 : doctorat honoraire en sciences de l'Université Queen's de Belfast
• 1993 : doctorat honoraire en sciences de l'Université de Bath^[6]
• 2007 : doctorat honoris causa en science du département d'informatique de l'Université d'économie d'Athènes (AUEB)
• 2012 : doctorat honoris causa de l'université de Varsovie^[7]
• 2013 : doctorat honoris causa de l'université complutense de Madrid^[8]

• C. A. R. Hoare, « Assertions, A Personal Perspective », dans Manfred Broy, Ernst Denert (éditeurs), Software Pioneers – Contributions to Software Engineering, Springer, 2002 (ISBN 3-540-43081-4, présentation en ligne)
• C. A. R. Hoare, « Monitors: an operating system structuring concept », Communications of the ACM, vol. 17, n^o 10,‎ octobre 1974, p. 549-557 (DOI 10.1145/355620.361161)
• C. A. R. Hoare, « An Axiomatic Basis for Computer Programming », Communications of the ACM, vol. 14, n^o 1,‎ 1971, p. 39–45 (DOI 10.1145/363235.363259)
• C. A. R. Hoare, « Proof of a Program: FIND », Communications of the ACM, vol. 12, n^o 10,‎ 1969, p. 576–580, 583 (DOI 10.1145/362452.36248)
• C. A. R. Hoare, « Proof of Correctness of Data Representations », Acta Informatica, vol. 1, n^o 4,‎ 1972, p. 271–28 (DOI 10.1007/BF00289507) (Réimprimé dans le livre Software Pioneers)
• C. A. R. Hoare, « Retrospective: An Axiomatic Basis for Computer Programming », Communications of the ACM, vol. 52, n^o 10,‎ 2009, p. 30–32 (DOI 10.1145/1562764.1562779)

Ole-Johan Dahl, Edsger Dijkstra et C. A. R. Hoare, Structured Programming, Academic Press, 1972 (ISBN 0-12-200550-3, OCLC 23937947).

• C. A. R. Hoare, Communicating sequential processes, Prentice Hall International Series in Computer Science, 1985 (lire en ligne)

hardback (ISBN 0-13-153271-5) ou paperback (ISBN 0-13-153289-8).

• C. A. R. Hoare et Michael J.C. Gordon, Mechanised Reasoning and Hardware Design, Prentice Hall International Series in Computer Science, 1992 (ISBN 0-13-572405-8, OCLC 25712842).
• C. A. R. Hoare et He Jifeng, Unifying Theories of Programming, Prentice Hall International Series in Computer Science, 1998 (ISBN 0-13-458761-8, OCLC 38199961).

• (en) Jonathan Bowen, « Oral History of Sir Antony Hoare », Musée de l'histoire de l'ordinateur, CHM Reference number: X3698.2007, 8 septembre 2006 (consulté le 1^er septembre 2013)
• (en) Len Shustek, « An Interview with C.A.R. Hoare », Communications of the ACM, vol. 52, n^o 3,‎ mars 2009, p. 38–41 (DOI 10.1145/1467247.1467261)
• (en) Philip Frana, « An Interview with Charles Antony Richard Hoare », Charles Babbage Institute, University of Minnesota, Minneapolis, 17 juillet 2002 (consulté le 1^er septembre 2013)

Hoare a formulé de nombreuses réflexions sur la programmation et son évolution, dont voici un échantillon :

• Lors d'une conférence en 2009, Hoare « [s]'excuse d'avoir inventé le pointeur NULL^[9],[10] » en ces termes : « Je l’appelle mon erreur à un milliard de dollars. En 1965, je concevais le premier système de typage complet pour un langage orienté objet et je n'ai pas pu résister à ajouter la référence nulle, simplement parce que c'était si facile à implémenter. Ceci a conduit à un nombre incalculable d'erreurs, … qui ont probablement causé des dommages d'un milliard de dollars dans les quarante dernières années. »
• Une réflexion, en 1995, sur l'évolution des mentalités face à la programmation^[11] : « Il y a dix ans, les chercheurs en méthodes formelles prédisaient que les programmeurs accepteraient les méthodes formelles qui résoudraient les problèmes de fiabilité. Maintenant, les programmes sont devenus très longs et bien trop grands pour être aisément traités par les méthodes formelles. Il est apparu que le monde ne souffre pas trop des problèmes que notre recherche avait l’intention de résoudre. »
• Le conseil sur la programmation : « On devrait refuser les petites améliorations dans environ 97 % des cas, car l'optimisation prématurée est la racine de tout le mal », est en fait due à Donald Knuth^[12]. C'est Knuth qui l'a attribuée à Hoare^[13] ; ce dernier en refuse la paternité^[14].

• Site officiel
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
  • Royal Society
  • Scopus
• Notices dans des dictionnaires ou encyclopédies généralistes :

  • Britannica
  • Nationalencyklopedin
• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • GND
  • Italie
  • Japon
  • CiNii
  • Belgique
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
  • Suède
  • Australie
  • Norvège
  • Croatie
  • Tchéquie
  • WorldCat
• Page personnelle de Hoare sur le site de Microsoft Research

• Portail de l’informatique
• Portail de Microsoft
• Portail de l'informatique théorique