Robert Floyd

informaticien américain

Robert W. Floyd (né le et mort le à Stanford (Californie) est un théoricien des graphes et chercheur en informatique américain.

Robert Floyd
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 65 ans)
StanfordVoir et modifier les données sur Wikidata
Nom dans la langue maternelle
Robert W FloydVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Conjoint
Autres informations
A travaillé pour
Membre de
Distinctions
Prix Turing ()Voir et modifier les données sur Wikidata
Liste détaillée

Biographie

modifier

Né à New York, Floyd termina le lycée à l'âge de 14 ans. À l'université de Chicago, il obtint une licence d'arts libéraux en 1953 (à seulement 17 ans[1]) puis une seconde licence, de physique, en 1958.

Devenu informaticien au début des années 1960, il commença à publier de nombreux articles remarqués et devint maître de conférences à l'université Carnegie-Mellon à l'âge de 27 ans. Il obtint un poste de professeur à l'université Stanford six ans plus tard, sans posséder de doctorat.

Il a dirigé les thèses d'une petite dizaine d'étudiants dont Ronald Rivest et Robert Tarjan[2].

Floyd fut marié et divorcé deux fois, et eut quatre enfants. Pendant son temps libre, il pratiquait le backgammon et la randonnée.

Atteint de la maladie de Pick en 1993, il prit sa retraite par anticipation au début de l'année suivante et mourut quelques années plus tard.

Travaux

modifier

Ses contributions comprennent notamment un algorithme pour déterminer efficacement tous les plus courts chemins dans un graphe, connu sous le nom d'algorithme de Floyd-Warshall, et des travaux sur l'analyse syntaxique. Dans un article isolé, il introduisit le concept important de diffusion d'erreur dans le traitement d'images et l'algorithme connu aujourd'hui sous le nom d'algorithme de Floyd-Steinberg.

Robert Floyd fut un pionnier de la vérification de programmes dans un article de 1967 intitulé Assigning Meanings to Programs. Ce fut une contribution importante à la future logique de Hoare.

Floyd a collaboré avec Donald Knuth, en particulier comme le principal relecteur de l'œuvre majeure de Knuth The Art of Computer Programming, dans laquelle il se trouve être la personne la plus citée.

Floyd reçut le prix Turing en 1978 pour « avoir eu une influence significative sur les méthodologies de création de logiciels sûrs et efficaces, et pour avoir contribué à l'émergence d'importants domaines de l'informatique scientifique : la théorie de l'analyse syntaxique, la sémantique des langages de programmation, la vérification de programmes, la synthèse de programmes et l'analyse d'algorithmes[n 1] ».

Notes et références

modifier
  1. « For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms[3]. »

Références

modifier
  1. « Robert (Bob) W Floyd », sur © 2012 Association for Computing Machinery. All rights reserved., (consulté le ).
  2. (en) « Robert Floyd », sur le site du Mathematics Genealogy Project.
  3. © 2012 Association for Computing Machinery. All rights reserved

Liens externes

modifier