Albert Ronald Meyer

Albert Ronald Meyer
Nascimento 1941 (83 anos)
Nacionalidade Estados Unidos Estadunidense
Alma mater Universidade Harvard
Orientador(es)(as) Patrick Carl Fischer
Orientado(a)(s) Nancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph Halpern
Instituições Instituto de Tecnologia de Massachusetts
Campo(s) Ciência da computação
Tese 1972: On Complex Recursive Functions

Albert Ronald da Silva Meyer (1941) é um informático estadunidense.

É professor de ciência da computação no Instituto de Tecnologia de Massachusetts. É fellow da Academia de Artes e Ciências dos Estados Unidos desde 1987,[1] e da Associação para Maquinaria da Computação desde 2000.[2]

Meyer obteve o PhD pela Universidade Harvard em 1972, em matemática aplicada. Desde 1969 está associado ao Instituto de Tecnologia de Massachusetts.

Dentre as publicações notáveis de mayer destaca-se Meyer & Stockmeyer (1972), que introduz a hierarquia polinomial. Mayer orientou diversas teses de personalidades atualmente de destaque na área computacional, como por exemplo Jeanne Ferrante, Joseph Halpern, David Harel, Leonid Levin, Nancy Lynch, Charles Rackoff e Larry Stockmeyer.

Publicações

  • Meyer, Albert R.; Stockmeyer, Larry J. (1972). «The equivalence problem for regular expressions with squaring requires exponential space». Proc. 13th Annual Symposium on Switching and Automata Theory. [S.l.: s.n.] pp. 125–129. doi:10.1109/SWAT.1972.29. 

Referências

  1. «M» (PDF). Members of the American Academy of Arts & Sciences: 1780–2005 
  2. «ACM Fellows». Consultado em 29 de novembro de 2010. Arquivado do original em 1 de janeiro de 2009  «ACM: Fellows Award / Albert R Meyer». Consultado em 29 de novembro de 2010. Arquivado do original em 14 de dezembro de 2007  "For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students."

Ligações externas

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.
  • v
  • d
  • e
Controle de autoridade