Albert Ronald Meyer
Albert Ronald Meyer | |
---|---|
Nascimento | 1941 (83 anos) |
Nacionalidade | ![]() |
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
[editar | editar código-fonte]- 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
- ↑ «M» (PDF). Members of the American Academy of Arts & Sciences: 1780–2005
- ↑ «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."