Juris Hartmanis
| Juris Hartmanis | |
|---|---|
.jpg) | |
| Nascimento | 5 de julho de 1928 Riga |
| Morte | 29 de julho de 2022 (94 anos) |
| Alma mater | Instituto de Tecnologia da Califórnia |
| Prêmios | Prêmio Turing (1993) |
| Orientador(es)(as) | Robert Palmer Dilworth |
| Instituições | General Electric, Universidade Cornell |
| Campo(s) | Ciência da computação |
| Tese | 1955: Some Embedding Theorems for Lattices |
Juris Hartmanis (Riga, 5 de julho de 1928 - 29 de julho de 2022) foi um informático estadunidense.[1]
Carreira
[editar | editar código-fonte]Foi laureado com o Prêmio Turing de 1993, juntamente com Richard Stearns, por pesquisas na áres de complexidade computacional.
Após a Segunda Guerra Mundial mudou-se para a Alemanha, onde graduou-se em Física na Universidade de Magdeburg. Imigrou em seguida para os Estados Unidos, onde obteve o mestrado em matemática aplicada na Universidade do Missouri – Kansas City, e o doutorado em matemática no Instituto de Tecnologia da Califórnia.
Em seguida trabalhou no laboratório de pesquisas da General Electric, onde realizou pesquisas sobre os princípios da informática. Em 1965 tornou-se professor da Universidade Cornell.
Publicações selecionadas
[editar | editar código-fonte]- Livros
- Algebraic Structure Theory of Sequential Machines[2] 1966 (com R.E. Stearns)
- Feasible Computations and Provable Complexity Properties[3] 1978
- Computational Complexity Theory (ed.)[4] 1989
- Computing the Future: A broader agenda for computer science and engineering (ed.)[5] 1992 (com Herbert Lin)
- Artigos selecionados
- "Computational complexity of recursive sequences"[6] 1964 (com R.E. Stearns)
- "Classifications of computations by time and memory requirements"[7] 1965 (com P.M. Lewis e R.E. Stearns)
- "Hierarchies of memory limited computations"[8] 1965 (com P.M. Lewis e R.E. Stearns)
- "On the computational complexity of algorithms" 1965 (com R.E. Stearns)
- Memory bounds for recognition of context-free and context-sensitive languages[9] 1965 (com P.M. Lewis e R.E. Stearns)
- "On isomorphisms and density of NP and other complete sets" 1977 (com L. Berman)
- "Observations about the development of theoretical computer science"[10] 1981
- "Gödel, von Neumann, and the P =? NP problem"[11] 1989
Fontes
[editar | editar código-fonte]- J. Hartmanis, R. E. Stearns: On the computational complexity of algorithms. Trans. Amer. Math. Soc. 117:285-306, 1965.
Referências
- ↑ «Juris Hartmanis July 5 1928 July 29 2022 (age 94)». usobit.com. 30 de julho de 2022. Consultado em 31 de julho de 2022
- ↑ —; Richard E., Stearns (1966). Algebraic Structure Theory of Sequential Machines. Englewood Cliffs, N.J.: Prentice-Hall. 211 páginas. ISBN 0130222771
- ↑ — (1978). Feasible Computations and Provable Complexity Properties. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 62 páginas. ISBN 978-0-898710-27-4
- ↑ —, ed. (1989). Computational Complexity Theory. [S.l.]: AMS. 128 páginas. ISBN 978-0-8218-0131-4
- ↑ —; Lin, Herbert, eds. (1992). Computing the Future: A broader agenda for computer science and engineering. Washington, DC: The National Academies Press. 288 páginas. ISBN 978-0-309-04740-1. doi:10.17226/1982
- ↑ —; Stearns, R.E. (1964). Computational complexity of recursive sequences. 5th Ann. Symp. on Switching Circuit Theory and Logical Design. Princeton, New Jersey: IEEE. pp. 82–90. doi:10.1109/SWCT.1964.6
- ↑ —; Lewis, P.M.; Stearns, R.E. (1963). Wayne A. Kalenich, ed. Classifications of computations by time and memory requirements. Proc. IFIP Congress 65. New York City: Spartan Books, Inc., Washington, D.C. pp. 31–35. JSTOR 2272795. doi:10.2307/2272795
- ↑ —; Lewis, P.M.; Stearns, R.E. (1965). Hierarchies of memory limited computations. FOCS 65: Proc. Sixth Ann. Symp Switching Circuit Theory and Logical Design. New York: IEEE. pp. 179–190. doi:10.1109/FOCS.1965.11
- ↑ Lewis, P.M.; Stearns, R.E.; — (1965). Memory bounds for recognition of context-free and context-sensitive languages. FOCS 65: Proc. Sixth Ann. Symp Switching Circuit Theory and Logical Design. Ann Arbor, Michigan: IEEE. pp. 191–202. doi:10.1109/FOCS.1965.14
- ↑ — (1981), «Observations about the development of theoretical computer science», IEEE Annals of the History of Computing, ISSN 1058-6180, 3 (1): 42–51, doi:10.1109/MAHC.1981.10005, hdl:1813/6244
- ↑ Hartmanis, Juris (1989). «Gödel, von Neumann, and the P =? NP problem». Bulletin of the European Association for Theoretical Computer Science. 38: 101-107
Ligações externas
[editar | editar código-fonte]- Juris Hartmanis (em inglês) no Mathematics Genealogy Project
- «Biografia» (em inglês)
| Precedido por Butler Lampson |
Prêmio Turing 1993 com Richard Stearns |
Sucedido por Edward Feigenbaum e Raj Reddy |