Juris Hartmanis
Juris Hartmanis (né le à Riga en Lettonie et mort le [1]) est un informaticien américain d'origine lettonne. Avec Richard Stearns, il a reçu en 1993 le prix Turing pour leur travail commun. Leurs recherches ont conduit à la naissance de la théorie de la complexité des algorithmes.
Chef de département (d) Informatique Université Cornell | |
---|---|
- | |
Chef de département (d) Informatique Université Cornell | |
- |
Naissance | |
---|---|
Décès |
(à 94 ans) |
Nationalités | |
Formation |
Université de Marbourg (Candidate of Philosophy (en)) (jusqu'en ) Université du Missouri à Kansas City (maîtrise ès arts) (jusqu'en ) California Institute of Technology (doctorat) (jusqu'en ) |
Activités | |
Père |
Mārtiņš Hartmanis (d) |
Fratrie |
Astrid Ivask (en) |
A travaillé pour |
Université Cornell (à partir de ) General Electric (- Université d'État de l'Ohio (- Université Cornell (- |
---|---|
Membre de | |
Directeur de thèse | |
Site web | |
Distinctions |
Prix Turing () Liste détaillée Membre de l'AAAS () Membre de l'Académie américaine des arts et des sciences () Prix Turing () ACM Fellow () Docteur honoris causa de l'université technique de Dortmund () Docteur honoris causa () Grande médaille de l'Académie des sciences de Lettonie () Membre honoraire de l'American Mathematical Society () ACM Distinguished Service Award () |
Biographie
modifierNé en Lettonie, Juris Hartmanis a d'abord émigré en Allemagne après la Seconde Guerre mondiale. Il a obtenu une licence en physique de l'université de Marbourg. Puis il est parti aux États-Unis d'Amérique et a obtenu sa maîtrise en mathématiques appliquées à l'université de Kansas City (maintenant connue sous le nom d'Université du Missouri-Kansas City). Il a obtenu son doctorat en mathématiques au California Institute of Technology (Caltech)[2] en 1955 sous la direction de Robert Dilworth. Ensuite, il a travaillé au sein du laboratoire de recherches de la General Electric Company, développant et présentant des principes informatiques. En 1965, il est devenu professeur à l'université Cornell, où il a participé à la création du département d'informatique et en a été le premier président.
Travaux
modifierJuris Hartmanis est l'un des fondateurs de la théorie de la complexité. On lui doit notamment le théorème de hiérarchie en temps déterministe. Il a également émis la conjecture de Berman-Hartmanis.
Notes et références
modifier- [1]
- (en) « Juris Hartmanis », sur le site du Mathematics Genealogy Project.
Liens externes
modifier- (en) Biographie de Hartmanis à Cornell
- Lance Fortnow (en), « Fiftieth Anniversary of the Publication of the seminal paper on Computational Complexity », sur Computational Complexity Blog,
- Notices dans des dictionnaires ou encyclopédies généralistes :
- Ressources relatives à la recherche :