Albert R. Meyer - Albert R. Meyer
Albert Ronald da Silva Meyer | |
|---|---|
| Nascer | 5 de novembro de 1941 |
| Alma mater | Universidade de Harvard |
| Esposo (s) | Irene Greif |
| Prêmios | ACM Fellow (2000) |
| Carreira científica | |
| Campos | Ciência da Computação |
| Instituições | MIT |
| Orientador de doutorado | Patrick C. Fischer |
| Alunos de doutorado | Nancy Lynch , Leonid Levin , Jeanne Ferrante , Charles Rackoff , Larry Stockmeyer , David Harel , Joseph Halpern , John C. Mitchell |
| Local na rede Internet | pessoas |
Albert Ronald da Silva Meyer (nascido em 1941) é Professor emérito de Ciência da Computação da Hitachi America no Massachusetts Institute of Technology (MIT).
Biografia
Meyer recebeu seu PhD pela Harvard University em 1972 em matemática aplicada, sob a supervisão de Patrick C. Fischer . Ele ingressou no corpo docente do Departamento de Engenharia Elétrica e Ciência da Computação (EECS) no MIT em 1969. Meyer se tornou Professor de Ciência da Computação e Engenharia da Hitachi America em 1991. Ele se aposentou do MIT em 2016.
Vida academica
Os trabalhos seminais de Meyer incluem Meyer & Stockmeyer (1972) , que introduziram a hierarquia polinomial . Ele supervisionou vários alunos de doutorado que agora são cientistas da computação famosos; estes incluem Nancy Lynch , Leonid Levin , Jeanne Ferrante , Charles Rackoff , Larry Stockmeyer , David Harel , Joseph Halpern e John C. Mitchell .
Prêmios
Ele é Fellow da Academia Americana de Artes e Ciências (AAAS) desde 1987 e foi nomeado Fellow da Association for Computing Machinery (ACM) em 2000. Ele é o editor-chefe da International Computer revista científica Information and Computation .
Vida pessoal
Ele é casado com a cientista da computação Irene Greif .
Publicações
- 1991. Research Directions in Computer Science: An MIT Perspective . (Ed. Com John Guttag , Ronald Rivest e Peter Szolovits) MIT Press.
- Meyer, Albert R .; Stockmeyer, Larry J. (1972). “O problema de equivalência para expressões regulares com quadratura requer espaço exponencial”. Proc. 13º Simpósio Anual de Teoria de Comutação e Autômatos . pp. 125–129. doi : 10.1109 / SWAT.1972.29 . CS1 maint: parâmetro desencorajado ( link ) .
Referências
links externos
-
Website oficial
- Meyer, Albert R. em MathSciNet
-
Albert R. Meyer no DBLP Bibliography Server
- Documentos de Albert Meyer , MC-0377. Instituto de Tecnologia de Massachusetts, Departamento de Coleções Distintas, Cambridge, Massachusetts.