Richard E. Stearns

Richard Edwin "Dick" Stearns (nascido em 5 de Julho de, 1936 em Caldwell , New Jersey ) é um americano cientista da computação que recebeu o Prêmio Turing em 1993, juntamente com Juris Hartmanis por suas realizações no campo da teoria da complexidade .

Richard E. Stearns (2009)

Vida

Stearns recebeu seu diploma de bacharel em matemática pelo Carleton College em 1958 , e em 1961 ele recebeu seu doutorado em matemática com Harold W. Kuhn na Universidade de Princeton no tópico de teoria dos jogos Jogos cooperativos de três pessoas sem pagamentos colaterais.

Antes disso, no verão de 1960, ele havia trabalhado com Juris Hartmanis no departamento de pesquisa da General Electric em Schenectady . Ele continuou esta atividade em junho de 1961. Em 1964, ele e Hartmanis publicaram o artigo de mesmo nome Complexidade computacional de sequências recursivas (republicado em 1965 como On the computational complex of algorítmos ), que foi pioneiro na teoria da complexidade e introduziu DTIME e, portanto, classes de complexidade geral , bem como um teorema de aceleração inicial . Junto com Phil Lewis, Stearns e Hartmanis introduziram não apenas o tempo, mas também a complexidade do espaço em 1965 . Foi somente depois desse trabalho que Stearns entrou em contato com os computadores pela primeira vez.

De setembro de 1978, Stearns estava na Universidade de Albany , onde chefiou a Faculdade de Ciência da Computação de janeiro de 1982 a agosto de 1989. Em 1994 ele foi homenageado como Professor Distinto e está aposentado desde setembro de 2000.

Em 1975, foi professor visitante na Universidade Hebraica de Jerusalém , de 1977 a 1978 professor adjunto da Rensselaer Polytechnic Institute , e em 1985 professor visitante no Instituto de Pesquisa de Ciências Matemáticas da Universidade da Califórnia, Berkeley .

Stearns é casado e tem dois filhos.

Ele foi membro fundador da Game Theory Society e é membro da ACM .

Premios e honras

Fontes

  • com Juris Hartmanis : Sobre a complexidade computacional dos algoritmos. In: Transactions of the American Mathematical Society. Vol. 117, 1965, páginas 285-306. Inicialmente como a complexidade computacional de sequências recursivas. In: Proceedings of the Fifth Annual IEEE Symposium on Switching Circuit Theory and Logical Design Princeton (NJ) 1964, pp. 82-90.
  • com Juris Hartmanis 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 ( PDF; 398 kB ).
  • com Frederick C. Hennie: Simulação de duas fitas de máquinas de turing multi-fitas. In: Journal of the ACM . Vol. 13, No. 10 de outubro de 1966, pp. 533-546.
  • com Harry B. Hunt: índices de poder e problemas difíceis mais fáceis. In: Mathematical Systems Theory. Vol. 23, 1990, páginas 209-225 ( PDF; 475 kB ).
  • É hora de reconsiderar o tempo. In: Comunicações da ACM . Vol. 37, No. 11, novembro de 1994, pp. 95-99 ( PDF; 754 kB ).
  • com Robert Aumann e Michael Maschler: Jogos repetidos com informações incompletas. MIT Press, 1995

Links da web

Evidência individual

  1. ^ Prêmio Frederick W. Lanchester. (Não está mais disponível online.) Informs.org ( Instituto de Pesquisa Operacional e Ciências de Gerenciamento ), arquivado do original em 2 de outubro de 2015 ; acessado em 16 de fevereiro de 2016 . Informação: O link do arquivo foi inserido automaticamente e ainda não foi verificado. Verifique o link original e o arquivo de acordo com as instruções e remova este aviso. @ 1@ 2Modelo: Webachiv / IABot / www.informs.org