Juris Hartmanis
Juris Hartmanis (born July 5, 1928 in Riga , Latvia ) is a Latvian - American computer scientist who, together with Richard E. Stearns, received the Turing Award in 1993 for his research achievements in the field of complexity theory .
Life
After the Second World War , Hartmanis first fled to Germany . He earned a diploma in physics from the University of Marburg and emigrated to the United States of America , where he obtained a master's degree in applied mathematics from the University of Missouri-Kansas City . Eventually he earned a Ph.D. from Caltech in 1955. in mathematics with Robert Dilworth .
He then worked for the General Electric Research Laboratory, where he researched and taught principles of computer science. In 1964 he published and Richard E. Stearns, the groundbreaking for the complexity theory and eponymous paper Computational complexity of recursive sequences (in 1965 as On the computational complexity of algorithms republished), in which, inter alia DTIME and general complexity classes and an early speedup theorem introduced . Together with Phil Lewis, Stearns and Hartmanis introduced not only time but also space complexity in 1965 .
In 1965 he became a professor at Cornell University . One of Hartmanis' PhD students is Neil Immerman ( Gödel Prize 1995).
Hartmanis is a member of the Science Board and Science Steering Committee of the Santa Fe Institute .
Awards
- Great Medal of the Latvian Academy of Sciences
- Elected Member of the National Academy of Engineering
- Elected Member of the National Academy of Sciences (since 2013)
- Fellow of the American Academy of Arts and Sciences (since 1992)
- Fellow of the American Mathematical Society
- Turing Award
- Honorary doctorate from TU Dortmund University
Fonts
- with Richard E. Stearns : On the computational complexity of algorithms. In: Transactions of the American Mathematical Society. Vol. 117, 1965, pp. 285–306 ( PDF; 2018 kB ).
- with Richard E. Stearns & Phil M. Lewis: Hierarchies of Memory Limited Computations. In: Proceedings of the Sixth Annual IEEE Symposium on Switching Circuit Theory and Logical Design. Ann Arbor (Mich.) 1965, pp. 179–190 ( PDF file; 388 kB ).
Web links
- Biography (English)
personal data | |
---|---|
SURNAME | Hartmanis, Juris |
BRIEF DESCRIPTION | Latvian-American computer scientist and Turing Prize winner |
DATE OF BIRTH | July 5, 1928 |
PLACE OF BIRTH | Riga |