Juris Hartmanis-Juris Hartmanis

Un article de Wikipédia, l'encyclopédie libre

Juris Hartmanis
Juris Hartmanis(2002).jpg
( 05/07/1928 )5 juillet 1928
Riga, Lettonie
Décédés 29 juillet 2022 (2022-07-29)(94 ans)
mère nourricière
Prix Prix ​​Turing (1993)
Carrière scientifique
Des champs L'informatique
Établissements
Conseillère doctorale Robert P. Dilworth
Doctorants Allan Borodine (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5 juillet 1928 - 29 juillet 2022) était un informaticien et théoricien informatique américain d'origine lettone qui, avec Richard E. Stearns, a reçu le prix ACM Turing 1993 "en reconnaissance de leur article fondateur qui a jeté les bases de le domaine de la théorie de la complexité computationnelle ».

vie et carrière

Hartmanis est né en Lettonie le 5 juillet 1928. Il était le fils de Mārtiņš Hartmanis [ lv ], général de l'armée lettone et frère de la poétesse Astrid Ivask . Après que l'Union soviétique a occupé la Lettonie en 1940, Mārtiņš Hartmanis a été arrêté par les Soviétiques et est mort en prison. Plus tard dans la Seconde Guerre mondiale, la femme et les enfants de Mārtiņš Hartmanis ont quitté la Lettonie en 1944 en tant que réfugiés, craignant pour leur sécurité si l'Union soviétique reprenait la Lettonie.

Ils ont d'abord déménagé en Allemagne, où Juris Hartmanis a obtenu l'équivalent d'une maîtrise en physique de l' Université de Marburg . Il a ensuite déménagé aux États-Unis, où en 1951 il a obtenu une maîtrise en mathématiques appliquées à l'Université de Kansas City (maintenant connue sous le nom d' Université du Missouri-Kansas City ) et en 1955 un doctorat. en mathématiques de Caltech sous la direction de Robert P. Dilworth . L'Université du Missouri-Kansas City lui a décerné un doctorat honorifique en lettres humaines en mai 1999. Après avoir enseigné les mathématiques à l'Université Cornell et à l' Ohio State University, Hartmanis a rejoint le General Electric Research Laboratory en 1958. Chez General Electric, il a développé de nombreux principes. de la théorie de la complexité computationnelle. En 1965, il devient professeur à l'Université Cornell. Il a été l'un des fondateurs et le premier président de son département d' informatique (qui était l'un des premiers départements d'informatique au monde).

Hartmanis a contribué aux efforts nationaux pour faire progresser l'informatique et l'ingénierie (CS&E) de plusieurs façons. Plus important encore, il a présidé l' étude du Conseil national de recherches qui a abouti à la publication de 1992 Computing the Future - A Broad Agenda for Computer Science and Engineering, qui a fait des recommandations basées sur ses priorités pour soutenir l'effort de base en CS&E, pour élargir le champ, et pour améliorer l'éducation de premier cycle en CS&E. Il a été directeur adjoint de la Direction de l'informatique et des sciences de l'information et de l'ingénierie (CISE) de la National Science Foundation (NSF) de 1996 à 1998.

En 1989, Hartmanis a été élu membre de la National Academy of Engineering pour ses contributions fondamentales à la théorie de la complexité computationnelle et à la recherche et à l'enseignement en informatique. Il était membre de l' Association for Computing Machinery et de l' American Mathematical Society, également membre de la National Academy of Sciences . Il était également membre étranger de l' Académie des sciences de Lettonie, qui lui a décerné sa grande médaille [ lv ] en 2001 pour ses contributions à l'informatique.

Avec RE Stearns, Hartmanis a reçu le prix Turing 1993 pour un article dans lequel ils ont introduit les classes de complexité temporelle TIME(f(n)) et prouvé le théorème de la hiérarchie temporelle . Un autre article de Hartmanis de 1977, avec Leonard Berman, a introduit la conjecture encore non résolue de Berman-Hartmanis selon laquelle tous les langages NP-complets sont isomorphes en temps polynomial.

Hartmanis est décédé le 29 juillet 2022. Il laisse dans le deuil ses trois enfants Reneta, Martin et Audrey.

Prix

Publications sélectionnées

Livres
  • Théorie de la structure algébrique des machines séquentielles 1966 (avec RE Stearns )
  • Calculs réalisables et propriétés de complexité prouvables 1978
  • Théorie de la complexité computationnelle (éd.) 1989
  • Computing the Future: A wide agenda for computer science and engineering (éd.) 1992 (avec Herbert Lin)
Articles sélectionnés
  • "Complexité computationnelle des séquences récursives" 1964 (avec RE Stearns )
  • "Classifications of calculs by time and memory requirements" 1965 (avec PM Lewis et RE Stearns )
  • "Hierarchies of memory limited computations" 1965 (avec PM Lewis et RE Stearns )
  • "Sur la complexité computationnelle des algorithmes" 1965 (avec RE Stearns )
  • Limites de mémoire pour la reconnaissance des langages contextuels et contextuels 1965 (avec PM Lewis et RE Stearns )
  • "Sur les isomorphismes et la densité de NP et d'autres ensembles complets" 1977 (avec L. Berman)
  • "Observations sur le développement de l'informatique théorique" 1981

Entrevues

Juris Hartmanis a été interviewé quatre fois. Des vidéos sont disponibles pour deux d'entre eux. Le plus important est celui de William Aspray.

  • William Aspray interviewe Hartmanis pour les interviews d'histoire orale de l'ACM, 2009
  • David Gries interviewe Hartmanis pour la collection Cornell ecommons, 2010
  • Len Shustek interviewe Hartmanis dans un article du CACM, 2015
  • David Gries interviewe Hartmanis en tant que récipiendaire du prix ACM Turing, 2018

Références

Liens externes