Albert Ronald da Silva Meyer (nacido en 1941) es profesor emérito de informática de Hitachi America en el Instituto de Tecnología de Massachusetts (MIT).
Albert Ronald da Silva Meyer | |
---|---|
Nació | 5 de noviembre de 1941 |
alma mater | Universidad Harvard |
Esposos) | Irene Greif |
Premios | Miembro de ACM (2000) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | MIT |
Asesor de doctorado | Patrick C. Fischer |
Estudiantes de doctorado | Nancy Lynch , Leonid Levin , Jeanne Ferrante , Charles Rackoff , Larry Stockmeyer , David Harel , Joseph Halpern , John C. Mitchell |
Sitio web | gente |
Biografía
Meyer recibió su doctorado de la Universidad de Harvard en 1972 en matemáticas aplicadas, bajo la supervisión de Patrick C. Fischer . [1] Se unió a la facultad del Departamento de Ingeniería Eléctrica y Ciencias de la Computación (EECS) en el MIT en 1969. Meyer se convirtió en el Profesor de Ciencias e Ingeniería de Computación de Hitachi America en 1991. Se retiró del MIT en 2016. [2]
Vida academica
Los trabajos seminales de Meyer incluyen Meyer & Stockmeyer (1972) , que introdujo la jerarquía polinomial . Ha supervisado a numerosos estudiantes de doctorado que ahora son científicos informáticos famosos; estos incluyen a Nancy Lynch , Leonid Levin , Jeanne Ferrante , Charles Rackoff , Larry Stockmeyer , David Harel , Joseph Halpern y John C. Mitchell .
Premios
Ha sido miembro de la Academia Estadounidense de Artes y Ciencias (AAAS) desde 1987, [3] y fue admitido como miembro de la Association for Computing Machinery (ACM) en 2000. [4] Es el editor en -director de la revista internacional de informática Information and Computation . [5]
Vida personal
Está casado con la científica informática Irene Greif . [6]
Publicaciones
- 1991. Direcciones de investigación en ciencias de la computación: una perspectiva del MIT . (Ed. Con John Guttag , Ronald Rivest y Peter Szolovits) MIT Press.
- Meyer, Albert R .; Stockmeyer, Larry J. (1972). "El problema de equivalencia de expresiones regulares con cuadratura requiere espacio exponencial". Proc. XIII Simposio Anual de Teoría de la Conmutación y Autómatas . págs. 125-129. doi : 10.1109 / SWAT.1972.29 ..
Referencias
- ^ Albert Ronald da Silva Meyer en el Proyecto de genealogía de las matemáticas .
- ^ "Colección: artículos de Albert Meyer | MIT ArchivesSpace" . archivesspace.mit.edu . Consultado el 22 de julio de 2020 .
- ^ "M" (PDF) . Miembros de la Academia Estadounidense de Artes y Ciencias: 1780–2005 .
- ^ "Becarios ACM" . Archivado desde el original el 1 de enero de 2009."ACM: Premio Fellows / Albert R Meyer" . Archivado desde el original el 14 de diciembre de 2007 . Consultado el 7 de junio de 2009 . "Por avances fundamentales en la teoría de la complejidad y la semántica de la programación, y por el servicio y la educación sobresalientes de los estudiantes graduados".
- ^ Información y Computación
- ^ McCluskey, Eileen (20 de octubre de 2008). "Irene Greif '69, SM '72, PhD '75 Tejiendo computadoras y personas" . Revisión de tecnología del MIT . Consultado el 19 de abril de 2014 .
enlaces externos
- Página web oficial
- Meyer, Albert R. en MathSciNet
- Albert R. Meyer en el servidor de bibliografía DBLP
- Documentos de Albert Meyer , MC-0377. Instituto de Tecnología de Massachusetts, Departamento de Colecciones Distintivas, Cambridge, Massachusetts.