Juris Hartmanis -Juris Hartmanis

De la Wikipedia, enciclopedia liberă

Juris Hartmanis
Juris Hartmanis(2002).jpg
Născut ( 05.07.1928 )5 iulie 1928
Riga, Letonia
Decedat 29 iulie 2022 (29.07.2022)(94 de ani)
Alma Mater
Premii Premiul Turing (1993)
Cariera stiintifica
Câmpuri Informatică
Instituţiile
Consilier doctoral Robert P. Dilworth
Doctoranzii Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5 iulie 1928 – 29 iulie 2022) a fost un informatician american și teoretician computațional, de origine letonă, care, împreună cu Richard E. Stearns, a primit premiul ACM Turing din 1993 „în recunoașterea lucrării lor fundamentale care a stabilit bazele pentru domeniul teoriei complexității computaționale ”.

Viata si cariera

Hartmanis s-a născut în Letonia la 5 iulie 1928. Era fiul lui Mārtiņš Hartmanis [ lv ], un general în armata letonă și fratele poetului Astrid Ivask . După ce Uniunea Sovietică a ocupat Letonia în 1940, Mārtiņš Hartmanis a fost arestat de sovietici și a murit într-o închisoare. Mai târziu, în al Doilea Război Mondial, soția și copiii lui Mārtiņš Hartmanis au părăsit Letonia în 1944 ca refugiați, temându-se pentru siguranța lor dacă Uniunea Sovietică va prelua din nou Letonia.

S-au mutat mai întâi în Germania, unde Juris Hartmanis a primit echivalentul unui master în fizică de la Universitatea din Marburg . S-a mutat apoi în Statele Unite, unde în 1951 a primit un master în matematică aplicată la Universitatea din Kansas City (cunoscută acum ca Universitatea din Missouri–Kansas City ) și în 1955 un doctorat. la matematică de la Caltech sub supravegherea lui Robert P. Dilworth . Universitatea Missouri-Kansas City l-a onorat cu un doctor onorific în litere umane în mai 1999. După ce a predat matematică la Universitatea Cornell și la Universitatea de Stat Ohio, Hartmanis s-a alăturat Laboratorului de Cercetare General Electric în 1958. În timp ce era la General Electric, a dezvoltat multe principii a teoriei complexității computaționale. În 1965, a devenit profesor la Universitatea Cornell. A fost unul dintre fondatorii și primul președinte al departamentului său de informatică (care a fost unul dintre primele departamente de informatică din lume).

Hartmanis a contribuit la eforturile naționale de promovare a științei și ingineriei informatice (CS&E) în multe feluri. Cel mai semnificativ, el a prezidat studiul Consiliului Național de Cercetare care a dus la publicația din 1992 Computing the Future – A Broad Agenda for Computer Science and Engineering, care a făcut recomandări bazate pe prioritățile sale pentru a susține efortul de bază în CS&E, pentru a lărgi domeniul și pentru a îmbunătăți studiile de licență în CS&E. A fost director adjunct al Fundației Naționale pentru Știință (NSF) Directorate of Computer and Information Information and Engineering (CISE) din 1996 până în 1998.

În 1989, Hartmanis a fost ales ca membru al Academiei Naționale de Inginerie pentru contribuțiile fundamentale la teoria complexității computaționale și la cercetare și educație în calcul. A fost membru al Asociației pentru Mașini de Calcul și al Societății Americane de Matematică, de asemenea membru al Academiei Naționale de Științe . De asemenea, a fost membru străin al Academiei de Științe din Letonia, care i-a acordat Marea Medalie [ lv ] în 2001 pentru contribuțiile sale la informatica.

Alături de RE Stearns, Hartmanis a primit premiul Turing din 1993 pentru o lucrare în care au introdus clasele de complexitate a timpului TIME(f(n)) și au demonstrat teorema ierarhiei timpului . O altă lucrare a lui Hartmanis din 1977, cu Leonard Berman, a introdus conjectura Berman-Hartmanis, încă nerezolvată, că toate limbajele NP-complete sunt izomorfe în timp polinomial.

Hartmanis a murit pe 29 iulie 2022. Îi au în supraviețuire cei trei copii ai săi, Reneta, Martin și Audrey.

Premii

Publicații alese

Cărți
  • Teoria structurii algebrice a mașinilor secvențiale 1966 (cu RE Stearns )
  • Calcule fezabile și proprietăți de complexitate demonstrabile 1978
  • Teoria complexității computaționale (ed.) 1989
  • Computing the Future: O agendă mai largă pentru informatică și inginerie (ed.) 1992 (cu Herbert Lin)
Articole selectate
  • „Complexitatea computațională a secvențelor recursive” 1964 (cu RE Stearns )
  • „Clasificarea calculelor în funcție de cerințele de timp și de memorie” 1965 (cu PM Lewis și RE Stearns )
  • „Ierarhiile calculelor limitate de memorie” 1965 (cu PM Lewis și RE Stearns )
  • „Despre complexitatea computațională a algoritmilor” 1965 (cu RE Stearns )
  • Limite de memorie pentru recunoașterea limbilor fără context și sensibile la context 1965 (cu PM Lewis și RE Stearns )
  • „Despre izomorfisme și densitatea NP și a altor mulțimi complete” 1977 (cu L. Berman)
  • „Observații despre dezvoltarea informaticii teoretice” 1981

Interviuri

Juris Hartmanis a fost intervievat de patru ori. Videoclipurile sunt disponibile pentru doi dintre ei. Cea mai de anvergură este a lui William Aspray.

  • William Aspray îi intervievează lui Hartmanis pentru interviurile ACM Oral History, 2009
  • David Gries îi intervievează lui Hartmanis pentru colecția Cornell ecommons, 2010
  • Len Shustek îi intervievează lui Hartmanis într-un articol din CACM, 2015
  • David Gries îi intervievează lui Hartmanis în calitate de laureat al premiului ACM Turing, 2018

Referințe

linkuri externe