Juris Hartmanis

Juris Hartmanis (2002)

Juris Hartmanis (nascido em 5 de Julho de, 1928 , em Riga , Latvia ) é um letão - americano cientista da computação que, juntamente com Richard E. Stearns, recebeu o Prêmio Turing em 1993 por suas realizações de investigação no domínio da teoria da complexidade .

Vida

Após a Segunda Guerra Mundial , Hartmanis fugiu para a Alemanha . Ele obteve um diploma em física pela University of Marburg e emigrou para os Estados Unidos da América , onde obteve um mestrado em matemática aplicada pela University of Missouri-Kansas City . Eventualmente, ele obteve um Ph.D. da Caltech em 1955. em matemática com Robert Dilworth .

Ele então trabalhou para o Laboratório de Pesquisa da General Electric , onde pesquisou e ensinou os princípios da ciência da computação. Em 1964, ele publicou e Richard E. Stearns, o pioneirismo para a teoria da complexidade e o artigo homônimo Complexidade computacional de sequências recursivas (em 1965 como On the computational complex of algorítmos republicados), no qual, inter alia DTIME e classes de complexidade geral e um teorema de aceleração inicial introduziram . Junto com Phil Lewis, Stearns e Hartmanis introduziram não apenas o tempo, mas também a complexidade do espaço em 1965 .

Em 1965 ele se tornou professor na Cornell University . Um dos alunos de PhD de Hartmanis é Neil Immerman ( Prêmio Gödel 1995).

Hartmanis é membro do Conselho Científico e do Comitê Diretor Científico do Santa Fe Institute .

Prêmios

Fontes

  • com Richard E. Stearns : Sobre a complexidade computacional dos algoritmos. In: Transactions of the American Mathematical Society. Vol. 117, 1965, pp. 285-306 ( PDF; 2018 kB ).
  • com Richard E. Stearns e 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 ( arquivo PDF; 388 kB ).

Links da web