Juris Hartmanis
Juris Hartmanis | |
---|---|
Juris Hartmanis | |
Personlig information | |
Født | 5. juli 1928 Riga i Letland |
Død | 29. juli 2022 (94 år) |
Far | Mārtiņš Hartmanis |
Søskende | Astrid Ivask |
Uddannelse og virke | |
Uddannelsessted | California Institute of Technology |
Tilknyttet | Santa Fe Institute |
Medlem af | Association for Computing Machinery (fra 1994), 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 |
Beskæftigelse | Redaktør, universitetsunderviser, matematiker, datalog |
Forskningsområde | Datalogi |
Arbejdsgiver | Ohio State University (1957-1958), Cornell University (1955-1957, fra 1965), General Electric (1958-1965) |
Nomineringer og priser | |
Udmærkelser | Turing Award |
Eksterne henvisninger | |
Juris Hartmanis' hjemmeside | |
Information med symbolet |
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]- Hartmanis' biografi hos Cornell (engelsk)
| Spire Denne it-artikel er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |
| Spire Denne artikel relateret til USA er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |
| Spire 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. |