Hartmanis, Juris
| Juris Hartmanis | |
|---|---|
| lettiska. Juris Hartmanis | |
| Födelsedatum | 5 juli 1928 [1] [2] |
| Födelseort | Riga , Lettland |
| Dödsdatum | 29 juli 2022 [3] (94 år) |
| Land | |
| Vetenskaplig sfär | Informatik |
| Arbetsplats |
General Electric , Cornell University |
| Alma mater | University of Marburg , University of Missouri–Kansas City , Caltech |
| vetenskaplig rådgivare | Robert Dilworth |
| Känd som | DTIME |
| Utmärkelser och priser |
Turing-priset , den lettiska vetenskapsakademins stora medalj . |
| Hemsida | engineering.cornell.edu/… ( engelska) |
| Mediafiler på Wikimedia Commons | |
Juris Hartmanis ( lettiska. Juris Hartmanis ; 5 juli 1928 [1] [2] , Riga [1] [2] – 29 juli 2022 [3] ) - en vetenskapsman inom området datorsystemteori, belönades 1993 Turingpriset för prestationer inom forskning om teorin om beräkningskomplexitet .
Medlem av US National Academy of Engineering (1989) [4] , US National Academy of Sciences (2013) [5] .
Biografi
Juris Hartmanis föddes i familjen till generalen för den lettiska armén Mārtiņš Hartmanis . 1940 arresterades hans far och dog i fängelse. I slutet av andra världskriget flydde änkan efter Mārtiņš Hartmanis utomlands med sina barn, av rädsla för förföljelse av den sovjetiska regeringen. Familjen bosatte sig i Tyskland , där Juris Hartmanis tog examen i fysik från universitetet i Marburg . Han flyttade sedan till USA och fick en Master of Science in Applied Mathematics från University of Kansas ( 1951 ) och en doktorsexamen i matematik från California Institute of Technology under Robert Palmer Dilworth ( 1955 ) .
Hartmanis undervisade vid Ohio State University och även vid Cornell University tills han gick med i General Electric Research Laboratory 1958 . 1965 återvände han till Cornell University , där han blev professor , grundare och första dekanus för datavetenskapsavdelningen (en av de äldsta datavetenskapliga institutionerna i världen).
Juris Hartmanis var medlem i Association for Computing Machinery . Tillsammans med Richard Stearns tilldelades han Turing-priset för sitt arbete "On the computational complexity of algorithms", [6] där många DTIME- komplexitetsklasser presenterades och tidshierarkisatsen bevisades . [7]
Utmärkelser
- 1993 - Turing Award med Richard Stearns "som hyllning till deras framstående arbete, som utgjorde grunden för teorin om beräkningskomplexitet " [8]
- 1999 - hedersdoktor från University of Kansas ( eng. Honorary Doctor of Humane Letters )
Anteckningar
- ↑ 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 webbplats
- ↑ Hartmanis, J. & Stearns, RE (1965), On the computational complexity of algorithms , Transactions of the American Mathematical Society vol. 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 (länk ej tillgänglig)
Länkar
- Biografi på Cornell Universitys webbplats
 I sociala nätverk | ||||
|---|---|---|---|---|
| Tematiska platser | ||||
| Ordböcker och uppslagsverk | ||||
| ||||
| Vinnare av Turingpriset | |
|---|---|
| |
| Pristagare av den lettiska vetenskapsakademins stora medalj | |
|---|---|
| |