Juris Hartmanis – Wikipédia, a enciclopédia livre

Juris Hartmanis
Juris Hartmanis
Juris Hartmanis, em 2002
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

  1. «Juris Hartmanis July 5 1928 July 29 2022 (age 94)». usobit.com. 30 de julho de 2022. Consultado em 31 de julho de 2022 
  2. —; Richard E., Stearns (1966). Algebraic Structure Theory of Sequential Machines. Englewood Cliffs, N.J.: Prentice-Hall. 211 páginas. ISBN 0130222771 
  3. — (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 
  4. —, ed. (1989). Computational Complexity Theory. [S.l.]: AMS. 128 páginas. ISBN 978-0-8218-0131-4 
  5. —; 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 
  6. —; 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 
  7. —; 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 
  8. —; 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 
  9. 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 
  10. — (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/6244Acessível livremente 
  11. 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]

Precedido por
Butler Lampson
Prêmio Turing
1993
com Richard Stearns
Sucedido por
Edward Feigenbaum e Raj Reddy