Juris Hartmanis -Juris Hartmanis

Da Wikipédia, a enciclopédia livre

Juris Hartmanis
Juris Hartmanis(2002).jpg
Nascer ( 1928-07-05 )5 de julho de 1928
Riga, Letônia
Morreu 29 de julho de 2022 (2022-07-29)(94 anos)
Alma mater
Prêmios Prêmio Turing (1993)
Carreira científica
Campos Ciência da Computação
Instituições
Orientador de doutorado Robert P. Dilworth
Estudantes de doutorado Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5 de julho de 1928 - 29 de julho de 2022) foi um cientista da computação e teórico computacional americano nascido na Letônia que, com Richard E. Stearns, recebeu o Prêmio ACM Turing de 1993 "em reconhecimento ao seu artigo seminal que estabeleceu as bases para o campo da teoria da complexidade computacional ".

vida e carreira

Hartmanis nasceu na Letônia em 5 de julho de 1928. Era filho de Mārtiņš Hartmanis [ lv ], general do exército letão e irmão da poetisa Astrid Ivask . Depois que a União Soviética ocupou a Letônia em 1940, Mārtiņš Hartmanis foi preso pelos soviéticos e morreu em uma prisão. Mais tarde, na Segunda Guerra Mundial, a esposa e os filhos de Mārtiņš Hartmanis deixaram a Letônia em 1944 como refugiados, temendo por sua segurança se a União Soviética tomasse a Letônia novamente.

Eles primeiro se mudaram para a Alemanha, onde Juris Hartmanis recebeu o equivalente a um mestrado em física da Universidade de Marburg . Ele então se mudou para os Estados Unidos, onde em 1951 recebeu um mestrado em matemática aplicada na Universidade de Kansas City (agora conhecida como Universidade de Missouri–Kansas City ) e em 1955 um Ph.D. em matemática da Caltech sob a supervisão de Robert P. Dilworth . A Universidade de Missouri-Kansas City o homenageou com um Doutor Honorário em Letras Humanas em maio de 1999. Depois de ensinar matemática na Cornell University e na Ohio State University, Hartmanis ingressou no General Electric Research Laboratory em 1958. Enquanto na General Electric, ele desenvolveu muitos princípios da teoria da complexidade computacional. Em 1965, tornou-se professor na Universidade de Cornell. Ele foi um dos fundadores e o primeiro presidente do departamento de ciência da computação (que foi um dos primeiros departamentos de ciência da computação do mundo).

Hartmanis contribuiu para os esforços nacionais para o avanço da ciência e engenharia da computação (CS&E) de várias maneiras. Mais significativamente, ele presidiu o estudo do Conselho Nacional de Pesquisa que resultou na publicação de 1992 Computing the Future – A Broad Agenda for Computer Science and Engineering, que fez recomendações com base em suas prioridades para sustentar o esforço central em CS&E, para ampliar o campo e para melhorar a educação de graduação em CS&E. Foi diretor assistente da National Science Foundation (NSF) Directorate of Computer and Information Science and Engineering (CISE) de 1996 a 1998.

Em 1989, Hartmanis foi eleito membro da Academia Nacional de Engenharia por contribuições fundamentais à teoria da complexidade computacional e à pesquisa e educação em computação. Foi membro da Association for Computing Machinery e da American Mathematical Society, também membro da National Academy of Sciences . Ele também era um membro estrangeiro da Academia de Ciências da Letônia, que lhe concedeu sua Grande Medalha [ lv ] em 2001 por suas contribuições à ciência da computação.

Junto com RE Stearns, Hartmanis recebeu o Turing Award de 1993 por um artigo no qual eles introduziram as classes de complexidade de tempo TIME(f(n)) e provaram o teorema da hierarquia de tempo . Outro artigo de Hartmanis de 1977, com Leonard Berman, introduziu a ainda não resolvida conjectura de Berman-Hartmanis de que todas as linguagens NP-completas são isomórficas em tempo polinomial.

Hartmanis morreu em 29 de julho de 2022. Ele deixa seus três filhos Reneta, Martin e Audrey.

Prêmios

Publicações selecionadas

Livros
  • Teoria da estrutura algébrica de máquinas sequenciais 1966 (com RE Stearns )
  • Computações Viáveis ​​e Propriedades de Complexidade Prováveis ​​1978
  • Teoria da Complexidade Computacional (ed.) 1989
  • Computando o futuro: uma agenda mais ampla para ciência da computação e engenharia (ed.) 1992 (com Herbert Lin)
Artigos selecionados
  • "Complexidade computacional de sequências recursivas" 1964 (com RE Stearns )
  • "Classificações de cálculos por requisitos de tempo e memória" 1965 (com PM Lewis e RE Stearns )
  • "Hierarquias de computação limitada de memória" 1965 (com PM Lewis e RE Stearns )
  • "Sobre a complexidade computacional dos algoritmos" 1965 (com RE Stearns )
  • Limites de memória para reconhecimento de linguagens livres de contexto e sensíveis ao contexto 1965 (com PM Lewis e RE Stearns )
  • "Em isomorfismos e densidade de NP e outros conjuntos completos" 1977 (com L. Berman)
  • "Observações sobre o desenvolvimento da ciência da computação teórica" ​​1981

Entrevistas

Juris Hartmanis foi entrevistado quatro vezes. Os vídeos estão disponíveis para dois deles. O mais abrangente é de William Aspray.

  • William Aspray entrevista Hartmanis para as entrevistas da ACM Oral History, 2009
  • David Gries entrevista Hartmanis para a coleção Cornell ecommons, 2010
  • Len Shustek entrevista Hartmanis em um artigo no CACM, 2015
  • David Gries entrevista Hartmanis como ganhador do Prêmio ACM Turing de 2018

Referências

links externos