Hartmanis, Juris
| Juris Hartmanis | |
|---|---|
| lettisk. Juris Hartmanis | |
| Fødselsdato | 5. juli 1928 [1] [2] |
| Fødselssted | Riga , Letland |
| Dødsdato | 29. juli 2022 [3] (94 år) |
| Land | |
| Videnskabelig sfære | Informatik |
| Arbejdsplads |
General Electric , Cornell University |
| Alma Mater | University of Marburg , University of Missouri–Kansas City , Caltech |
| videnskabelig rådgiver | Robert Dilworth |
| Kendt som | DTIME |
| Præmier og præmier |
Turing Award , Grand Medal of the Lettian Academy of Sciences . |
| Internet side | engineering.cornell.edu/… ( engelsk) |
| Mediefiler på Wikimedia Commons | |
Juris Hartmanis ( lettisk. Juris Hartmanis ; 5. juli 1928 [1] [2] , Riga [1] [2] - 29. juli 2022 [3] ) - en videnskabsmand inden for computersystemteori, blev belønnet i 1993 Turing-prisen for resultater inden for forskning i teorien om beregningsmæssig kompleksitet .
Medlem af US National Academy of Engineering (1989) [4] , US National Academy of Sciences (2013) [5] .
Biografi
Juris Hartmanis blev født ind i familien af generalen for den lettiske hær Mārtiņš Hartmanis . I 1940 blev hans far arresteret og døde i fængslet. I slutningen af Anden Verdenskrig flygtede enken efter Mārtiņš Hartmanis til udlandet med sine børn, af frygt for forfølgelse fra den sovjetiske regering. Familien slog sig ned i Tyskland , hvor Juris Hartmanis blev uddannet i fysik fra universitetet i Marburg . Han flyttede derefter til USA og modtog en Master of Science in Applied Mathematics fra University of Kansas ( 1951 ) og en PhD i matematik fra California Institute of Technology under Robert Palmer Dilworth ( 1955 ) .
Hartmanis underviste ved Ohio State University og også på Cornell University , indtil han kom til General Electric Research Laboratory i 1958 . I 1965 vendte han tilbage til Cornell University , hvor han blev professor , stiftende medlem og første dekan for datalogiafdelingen (en af de ældste datalogiafdelinger i verden).
Juris Hartmanis var medlem af Foreningen for Computermaskiner . Sammen med Richard Stearns blev han tildelt Turing-prisen for sit arbejde "On the computational complexity of algorithms", [6] hvor mange DTIME- kompleksitetsklasser blev præsenteret og tidshierarkiets sætning blev bevist . [7]
Priser
- 1993 - Turing Award med Richard Stearns "som hyldest til deres skelsættende arbejde, som dannede grundlaget for teorien om beregningsmæssig kompleksitet " [8]
- 1999 - æresdoktor fra University of Kansas ( eng. Honorary Doctor of Humane Letters )
Noter
- ↑ 1 2 3 https://www.computerhope.com/people/juris_hartmanis.htm
- ↑ 1 2 3 https://amturing.acm.org/award_winners/hartmanis_1059260.cfm
- ↑ 12 Juris Hartmanis
- ↑ Dr. Juris Hartmanis
- ↑ Hartmanis, Juris på US National Academy of Sciences hjemmeside
- ↑ Hartmanis, J. & Stearns, RE (1965), On the computational complexity of algorithms , Transactions of the American Mathematical Society bind 117: 285–306, MR 0170805 , DOI 10.2307/1994208
- ↑ http://www.euler-foundation.org/wp-content/uploads/2008/05/itsykson.pdf
- ↑ ACM Award Citation / Juris Hartmanis (link ikke tilgængeligt)
Links
- Biografi på Cornell Universitys hjemmeside
 I sociale netværk | ||||
|---|---|---|---|---|
| Tematiske steder | ||||
| Ordbøger og encyklopædier | ||||
| ||||
| Turing prisvindere | |
|---|---|
| |
| Pristagere af den store medalje fra det lettiske videnskabsakademi | |
|---|---|
| |