Juris Hartmanis -Juris Hartmanis

Van Wikipedia, de gratis encyclopedie

Juris Hartmanis
Juris Hartmanis(2002).jpg
Geboren ( 1928/07/05 )5 juli 1928
Riga, Letland
Ging dood 29 juli 2022 (2022-07-29)(94 jaar)
Alma mater
onderscheidingen Turingpr (1993)
wetenschappelijke carrière
Velden Computertechnologie
instellingen
doctoraal adviseur Robert P. Dilworth
promovendi Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5 juli 1928 - 29 juli 2022) was een in Letland geboren Amerikaanse computerwetenschapper en computationeel theoreticus die samen met Richard E. Stearns de 1993 ACM Turing Award ontving "als erkenning voor hun baanbrekende artikel dat de basis legde voor het gebied van computationele complexiteitstheorie ".

Leven en carrière

Hartmanis werd geboren in Letland op 5 juli 1928. Hij was een zoon van Mārtiņš Hartmanis [ lv ], een generaal in het Letse leger, en broer van de dichter Astrid Ivask . Nadat de Sovjet-Unie Letland in 1940 bezette, werd Mārtiņš Hartmanis gearresteerd door de Sovjets en stierf in een gevangenis. Later in de Tweede Wereldoorlog verlieten de vrouw en kinderen van Mārtiņš Hartmanis Letland in 1944 als vluchtelingen, uit angst voor hun veiligheid als de Sovjet-Unie Letland weer zou overnemen.

Ze verhuisden eerst naar Duitsland, waar Juris Hartmanis het equivalent van een master in natuurkunde behaalde aan de universiteit van Marburg . Daarna verhuisde hij naar de Verenigde Staten, waar hij in 1951 een master's degree in toegepaste wiskunde behaalde aan de Universiteit van Kansas City (nu bekend als de Universiteit van Missouri-Kansas City ) en in 1955 een Ph.D. in wiskunde van Caltech onder toezicht van Robert P. Dilworth . De Universiteit van Missouri-Kansas City eerde hem in mei 1999 met een eredoctoraat in de Humane Letteren. Na wiskunde te hebben gedoceerd aan de Cornell University en de Ohio State University, trad Hartmanis in 1958 toe tot het General Electric Research Laboratory. Terwijl hij bij General Electric werkte, ontwikkelde hij veel principes van computationele complexiteitstheorie. In 1965 werd hij professor aan de Cornell University. Hij was een van de oprichters en de eerste voorzitter van de afdeling computerwetenschappen (die een van de eerste computerwetenschappen ter wereld was).

Hartmanis heeft op vele manieren bijgedragen aan de nationale inspanningen om computerwetenschap en -techniek (CS&E) te bevorderen. Het belangrijkste was dat hij voorzitter was van de studie van de National Research Council die resulteerde in de publicatie Computing the Future - A Broad Agenda for Computer Science and Engineering uit 1992, waarin aanbevelingen werden gedaan op basis van de prioriteiten om de kerninspanning in CS&E te ondersteunen, het veld te verbreden, en om het lager onderw in CS&E te verbeteren. Hij was adjunct-directeur van de National Science Foundation (NSF) Directorate of Computer and Information Science and Engineering (CISE) van 1996 tot 1998.

In 1989 werd Hartmanis verkozen als lid van de National Academy of Engineering voor fundamentele bijdragen aan de computationele complexiteitstheorie en aan onderzoek en onderw in informatica. Hij was een Fellow van de Association for Computing Machinery en van de American Mathematical Society, ook lid van de National Academy of Sciences . Hij was ook een buitenlands lid van de Letse Academie van Wetenschappen, die hem in 2001 hun Grote Medaille [ lv ] schonken voor zijn bijdragen aan de informatica.

Samen met RE Stearns ontving Hartmanis de Turing Award 1993 voor een paper waarin ze de tijdcomplexiteitsklassen TIME(f(n)) introduceerden en de stelling van de tijdhiërarchie bewezen . Een ander artikel van Hartmanis uit 1977, met Leonard Berman, introduceerde het nog steeds onopgeloste vermoeden van Berman-Hartmanis dat alle NP-complete talen polynomiaal-tijd isomorf zijn.

Hartmanis stierf op 29 juli 2022. Hij laat zijn drie kinderen Reneta, Martin en Audrey na.

onderscheidingen

Geselecteerde publicaties

Boeken
  • Algebraïsche structuurtheorie van sequentiële machines 1966 (met RE Stearns )
  • Haalbare berekeningen en aantoonbare complexiteitseigenschappen 1978
  • Computationele complexiteitstheorie (red.) 1989
  • Computing the Future: Een bredere agenda voor informatica en engineering (red.) 1992 (met Herbert Lin)
Geselecteerde artikelen
  • "Computationele complexiteit van recursieve sequenties" 1964 (met RE Stearns )
  • "Classificaties van berekeningen door tijd en geheugenvereisten" 1965 (met PM Lewis en RE Stearns )
  • "Hiërarchieën van geheugen beperkte berekeningen" 1965 (met PM Lewis en RE Stearns )
  • "Op de computationele complexiteit van algoritmen" 1965 (met RE Stearns )
  • Geheugengrenzen voor herkenning van contextvrije en contextgevoelige talen 1965 (met PM Lewis en RE Stearns )
  • "Op isomorfismen en dichtheid van NP en andere complete sets" 1977 (met L. Berman)
  • "Opmerkingen over de ontwikkeling van theoretische informatica" 1981

Sollicitatiegesprekken

Juris Hartmanis is vier keer geïnterviewd. Van twee daarvan zijn video's beschikbaar. De meest verstrekkende is die van William Aspray.

  • William Aspray interviewt Hartmanis voor de ACM Oral History interviews, 2009
  • David Gries interviewt Hartmanis voor de Cornell ecommons-collectie, 2010
  • Len Shustek interviewt Hartmanis in een artikel in CACM, 2015
  • David Gries interviewt Hartmanis als ontvanger van de ACM Turing Award, 2018

Referenties

Externe links