Juris Hartmanis

Article

August 8, 2022

Juris Hartmanis (5. juli 1928 – 29. juli 2022) var en latvisk-født amerikansk informatiker og beregningsteoretiker som sammen med Richard E. Stearns mottok ACM Turing-prisen i 1993 "som anerkjennelse for deres banebrytende artikkel som etablerte grunnlaget for feltet for beregningsmessig kompleksitetsteori".

Liv og karriere

Hartmanis ble født i Latvia 5. juli 1928. Han var en sønn av Mārtiņš Hartmanis, en general i den latviske hæren, og bror til poeten Astrid Ivask. Etter at Sovjetunionen okkuperte Latvia i 1940, ble Mārtiņš Hartmanis arrestert av sovjeterne og døde i et fengsel. Senere i andre verdenskrig forlot kona og barna til Mārtiņš Hartmanis Latvia i 1944 som flyktninger, i frykt for deres sikkerhet dersom Sovjetunionen skulle overta Latvia igjen. De flyttet først til Tyskland, hvor Juris Hartmanis fikk tilsvarende en mastergrad i fysikk fra universitetet i Marburg. Deretter flyttet han til USA, hvor han i 1951 fikk en mastergrad i anvendt matematikk ved University of Kansas City (nå kjent som University of Missouri–Kansas City) og i 1955 en Ph.D. i matematikk fra Caltech under veiledning av Robert P. Dilworth. University of Missouri – Kansas City hedret ham med en æresdoktor i humane bokstaver i mai 1999. Etter å ha undervist i matematikk ved Cornell University og Ohio State University, begynte Hartmanis i General Electric Research Laboratory i 1958. Mens han var ved General Electric utviklet han mange prinsipper for beregningskompleksitetsteori. I 1965 ble han professor ved Cornell University. Han var en av grunnleggerne og den første styrelederen for informatikkavdelingen (som var en av de første informatikkavdelingene i verden). Hartmanis bidro til nasjonal innsats for å fremme informatikk og ingeniørvitenskap (CS&E) på mange måter. Det viktigste var at han ledet National Research Council-studien som resulterte i 1992-publikasjonen Computing the Future – A Broad Agenda for Computer Science and Engineering, som ga anbefalinger basert på prioriteringene for å opprettholde kjerneinnsatsen innen CS&E, for å utvide feltet, og å forbedre grunnutdanningen i CS&E. Han var assisterende direktør for National Science Foundation (NSF) Directorate of Computer and Information Science and Engineering (CISE) fra 1996 til 1998. I 1989 ble Hartmanis valgt som medlem i National Academy of Engineering for grunnleggende bidrag til beregningskompleksitetsteori og til forskning og utdanning innen databehandling. Han var stipendiat i Association for Computing Machinery og i American Mathematical Society, også medlem av National Academy of Sciences. Han var også et utenlandsk medlem av Latvian Academy of Sciences, som ga ham deres store medalje i 2001 for hans bidrag til informatikk. Sammen med R.E. Stearns, Hartmanis mottok Turing-prisen i 1993 for en artikkel der de introduserte tidskompleksitetsklasser TIME(f(n)) og beviste tidshierarkiteoremet. En annen artikkel av Hartmanis fra 1977, med Leonard Berman, introduserte den fortsatt uløste Berman-Hartmanis-formodningen om at alle NP-komplette språk er polynom-tidsisomorfe. Hartmanis døde 29. juli 2022. Han etterlater seg sine tre barn Reneta, Martin , og Audrey.

Priser

Fellow, American Association for the Advancement of Science (AAAS), 1981 Medlem, National Academy of Engineering, 1989 Medlem (utenlandsk): Latvian Academy of Sciences, 1990 Medlem, American Academy of Arts and Sciences, 1992 ACM Turing Award 1993 Humboldt Foundation Research Award, 1993 Charterstipendiat, ACM, 1994 Æresdoktor i humane bokstaver, 1999 Computing Research Association (CRA) Distinguished Service Award, 2000 Grand Medal of the Latvian Academy of Sciences, 2001 ACM Distinguished Service Award, 2013 Inaugural Fellow, American Mathematical Society, 2013 Medlem, National Academy of Sciences, 2013

Utvalgte publikasjoner

Bøker Utvalgte artikler Intervjuer