John Hopcroft - John Hopcroft
Professeur
John Edward Hopcroft
| |
---|---|
Née |
|
7 octobre 1939
mère nourricière | Université de Seattle , Université de Stanford |
Récompenses |
Prix Turing (1986) ACM Fellow (1994) Harry H. Goode Memorial Award (2005) Karl Karlstrom Outstanding Educator Award (2008) IEEE Médaille John von Neumann (2010) Friendship Award (Chine) 2016 |
Carrière scientifique | |
Des champs | L'informatique |
Établissements | Cornell University , l' Université de Princeton , l' Université de Stanford , l' Université chinoise de Hong Kong |
Thèse | Synthèse des réseaux logiques à seuil (1964) |
Conseiller de doctorat | Richard Mattson |
Doctorants | |
Site Internet | www |
John Edward Hopcroft (né le 7 octobre 1939) est un informaticien théoricien américain . Ses manuels sur la théorie du calcul (également connu sous le nom de livre de Cendrillon ) et les structures de données sont considérés comme des normes dans leurs domaines. Il est professeur IBM d'ingénierie et de mathématiques appliquées en informatique à l'Université Cornell .
Éducation
Il a obtenu son baccalauréat de l'Université de Seattle en 1961. Il a obtenu sa maîtrise et son doctorat. de l'Université de Stanford en 1962 et 1964, respectivement. Il a travaillé pendant trois ans à l'Université de Princeton et depuis lors, il est à l'Université de Cornell . Hopcroft est le petit-fils de Jacob Nist , fondateur de la Seattle-Tacoma Box Company .
Carrière
En plus de ses travaux de recherche, il est bien connu pour ses livres sur les algorithmes et les langages formels co- écrits avec Jeffrey Ullman et Alfred Aho , considérés comme des textes classiques dans le domaine.
En 1986, il a reçu le prix Turing (conjointement avec Robert Tarjan ) "pour ses réalisations fondamentales dans la conception et l'analyse d'algorithmes et de structures de données". Parallèlement à son travail avec Tarjan sur les graphes planaires, il est également connu pour l' algorithme de Hopcroft-Karp permettant de trouver des correspondances dans les graphes bipartis . En 1994 , il a été intronisé en tant que membre de l' Association for Computing Machinery . En 2005, il a reçu le Harry H. Goode Memorial Award "pour ses contributions fondamentales à l'étude des algorithmes et de leurs applications dans le traitement de l'information". En 2008, il a reçu le Karl V. Karlstrom Outstanding Educator Award "pour sa vision et son impact sur l'informatique, notamment en co-écrivant des textes définissant le domaine sur la théorie et les algorithmes, qui continuent d'influencer les étudiants 40 ans plus tard, conseillant les doctorants qui eux-mêmes contribuent désormais grandement à l'informatique et assurent un leadership influent dans la recherche et l'enseignement en informatique aux niveaux national et international.
Hopcroft a été élu membre de la National Academy of Engineering en 1989 pour ses contributions fondamentales aux algorithmes informatiques et pour la paternité de manuels d'informatique exceptionnels.
En 1992, Hopcroft a été nommé au National Science Board par George HW Bush .
En 2005, il a reçu un doctorat honorifique de l'Université de Sydney, à Sydney, en Australie. En 2009, il a reçu un doctorat honorifique de l'Université d'État des technologies de l'information, de la mécanique et de l'optique de Saint-Pétersbourg . En 2020, l' Université chinoise de Hong Kong, Shenzhen a ouvert un Hopcroft Institute for Advanced Information Sciences et l'a désigné comme professeur Einstein.
Hopcroft est également le co-récipiendaire (avec Jeffrey Ullman ) de la médaille IEEE John von Neumann 2010 "pour avoir jeté les bases des domaines des automates et de la théorie des langages et de nombreuses contributions fondamentales à l'informatique théorique".
Récompenses
- 1986. Prix Turing
- 1989. Membre de l' Académie nationale d'ingénierie
- 1994. Boursier ACM
- 2005. Prix commémoratif Harry H. Goode
- 2008. Prix Karl Karlstrom Éducateur exceptionnel
- 2010. Médaille IEEE John von Neumann
Publications sélectionnées
- Livres
- 2017. Fondements de la science des données . (avec Avrim Blum et Ravindran Kannan )
- 2001. JE Hopcroft, Rajeev Motwani, Jeffrey D. Ullman , Introduction à la théorie des automates, aux langages et au calcul, deuxième édition. Addison-Wesley.
- 1983. Alfred V. Aho , JE Hopcroft, Jeffrey D. Ullman, Structures de données et algorithmes , Série Addison-Wesley en informatique et traitement de l'information.
- 1974. Alfred V. Aho, JE Hopcroft, Jeffrey D. Ullman, The Design and Analysis of Computer Algorithms , Addison-Wesley Series in Computer Science and Information Processing.
- 1969. Langages formels et leur relation avec les automates . (avec Jeffrey D. Ullman), Addison-Wesley, Reading MA.
Voir également
Les références
Liens externes