Juris Hartmanis

Fra Wikipedia, den frie encyklopædi
Spring til navigation Spring til søgning
Juris Hartmanis
Juris Hartmanis(2002).jpg
Juris Hartmanis
Personlig information
Født 5. juli 1928 Rediger på Wikidata
Riga i Letland
Død 29. juli 2022 (94 år) Rediger på Wikidata
Far Mārtiņš Hartmanis Rediger på Wikidata
Søskende Astrid Ivask Rediger på Wikidata
Uddannelse og virke
Uddannelses­sted California Institute of Technology
Tilknyttet Santa Fe Institute Rediger på Wikidata
Medlem af Association for Computing Machinery,
National Academy of Engineering (fra 1989),
Letlands Videnskabsakademi (fra 1990),
National Academy of Sciences (fra 2013),
American Academy of Arts and Sciences (fra 1992) med flere Rediger på Wikidata
Beskæftigelse Redaktør, universitetslærer, matematiker, datalog Rediger på Wikidata
Forsknings­område Datalogi
Arbejdsgiver Ohio State University (1957-1958), Cornell University (1955-1957, fra 1965), General Electric (1958-1965) Rediger på Wikidata
Nomineringer og priser
Udmærkelser Turing Award
Eksterne henvisninger
Juris Hartmanis' hjemmeside Rediger på Wikidata
Information med symbolet Billede af blyant hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.

Juris Hartmanis (5. juli 1928 i Riga i Letland, død 29. juli 2022) var en datalog og beregningsmæssig teoretiker, der sammen med Richard E. Stearns modtog ACM's Turing Award i 1993 for "anerkendelse af deres skelsættende afhandling, der etablerede grundlaget for området beregningsmæssig kompleksitetsteori".

Hartmanis blev født i Letland som søn af Mārtiņš Hartmanis, en general i den lettiske hær. Efter den sovjetiske besættelse af Letland i 1940 blev Mārtiņš Hartmanis arresteret af myndighederne og døde i et fængsel. Under slutningen af 2. verdenskrig forlod hustru og børn Letland som flygtninge, der frygtede for deres sikkerhed, såfremt Sovjetunionen overtog Letland igen.

De flygtede først til Tyskland, hvor Juris Hartmanis tog hvad der svarer til en bachelorgrad i fysik ved Marburg Universitet. Derefter flyttede han til USA, hvor han tog en mastergrad i anvendt matematik ved University of Kansas City (i dag kendt som University of Missouri-Kansas City) i 1951 og ph.d. i matematik fra Caltech under tilsyn af Robert P. Dilworth i 1955. University of Missouri-Kansas City hædrede ham med Honorary Doctor of Humane Letters i maj 1999.

Efter at have undervist på Cornell University og Ohio State University, sluttede Hartmanis sig til General Electric Research Laboratory i 1958. Mens han var på General Electric, udviklede han mange principper indenfor den beregningsmæssige kompleksitetsteori. I 1965 blev han professor ved Cornell University. På Cornell, var han en af grundlæggerne og den første formand for dets datalogi-afdeling (som var en af de første datalogiske institutter i verden). Hartmanis er fellow i Association for Computing Machinery og medlem af National Academy of Engineering.

Han er bedst kendt for den Turing-prisvindende afhandling han udfærdigede samen med Richard Stearns, i hvilken han indførte tidskompleksitetets klasser TIME (f(n)) og beviste tidshierarkiets teorem.

Kilder[redigér | rediger kildetekst]

  • Hartmanis, J.; Stearns, R. E. (1965), "On the computational complexity of algorithms", Transactions of the American Mathematical Society, 117: 285-306, doi:10.2307/1994208, JSTOR 1994208, MR 0170805
  • Apinis, Pēteris (2006). A Hundred Great Latvians (engelsk). Riga: Nacionālais apgāds. s. 146. ISBN 998426288X. OCLC 238892134.

Eksterne henvisninger[redigér | rediger kildetekst]


ItSpire
Denne it-artikel er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.
USASpire
Denne artikel relateret til USA er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.
Artikelstump
LetlandSpire
Denne biografiske artikel om en lette, eller en person født i Letland, er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.
Biografi