Juris Hartmanis -
Juris Hartmanis

fra Wikipedia, den frie encyklopedi

Juris Hartmanis(2002).jpg
Født
(
1928-07-05
)
5. juli 1928
Riga , Latvia
Døde 29. juli 2022
(2022-07-29)
(94 år)
Alma mater
Priser Turing Award (1993)
Vitenskapelig karriere
Enger Datavitenskap
Institusjoner
Doktorgradsrådgiver Robert P. Dilworth
Doktorgradsstudenter Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

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 beregningskompleksitetsteori ".

Liv og karriere

forlot kona og barna til Mārtiņš Hartmanis Latvia i 1944 som flyktninger, i frykt for deres sikkerhet hvis Sovjetunionen skulle overta Latvia igjen.

De flyttet først til Tyskland , hvor Juris Hartmanis mottok 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 hos General Electric utviklet han mange prinsipper av beregningsmessig kompleksitetsteori. 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 2001 for hans bidrag til informatikk.

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

Utvalgte publikasjoner

Bøker
  • Algebraic Structure Theory of Sequential Machines 1966 (med RE Stearns )
  • Gjennomførbare beregninger og bevisbare kompleksitetsegenskaper 1978
  • Computational Complexity Theory (red.) 1989
  • Computing the Future: A bredere agenda for informatikk og ingeniørvitenskap (red.) 1992 (med Herbert Lin)
Utvalgte artikler
  • "Beregningskompleksitet av rekursive sekvenser" 1964 (med RE Stearns )
  • "Klassifiseringer av beregninger etter tids- og minnekrav" 1965 (med PM Lewis og RE Stearns )
  • "Hierarchies of memory limited computations" 1965 (med PM Lewis og RE Stearns )
  • "Om beregningskompleksiteten til algoritmer" 1965 (med RE Stearns )
  • Minnet grenser for gjenkjennelse av kontekstfrie og kontekstsensitive språk 1965 (med PM Lewis og RE Stearns )
  • "Om isomorfismer og tetthet av NP og andre komplette sett" 1977 (med L. Berman)
  • "Observasjoner om utviklingen av teoretisk informatikk" 1981

Intervjuer

Juris Hartmanis har blitt intervjuet fire ganger. Videoer er tilgjengelige for to av dem. Den mest vidtrekkende er av William Aspray.

  • William Aspray intervjuer Hartmanis for ACM Oral History-intervjuene, 2009
  • David Gries intervjuer Hartmanis for Cornell ecommons-samlingen, 2010
  • Len Shustek intervjuer Hartmanis i en artikkel i CACM , 2015
  • David Gries intervjuer Hartmanis som mottaker av ACM Turing Award, 2018

Referanser