Alberto R. Meyer

informático teórico estadounidense

Albert Ronald da Silva Meyer (nacido en 1941) es profesor emérito de informática de Hitachi America en el Instituto Tecnológico de Massachusetts (MIT).

Biografía

Meyer recibió su doctorado en matemáticas aplicadas de la Universidad de Harvard en 1972, 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) del MIT en 1969. Meyer se convirtió en profesor de Ciencias de la Computación e Ingeniería de Hitachi America en 1991. Se retiró del MIT en 2016. ^[2]

Vida academica

Matemáticas para la informática (2017) por Eric Lehman, F. Thomson Leighton y Albert R. Meyer

Las obras fundamentales de Meyer incluyen Meyer & Stockmeyer (1972), que introdujeron 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 . Fue editor en jefe de la revista internacional de informática Information and Computation desde 1981 hasta 2020. ^[3]

Premios

Ha sido miembro de la Academia Estadounidense de Artes y Ciencias (AAAS) desde 1987, ^[4] y fue admitido como miembro de la Asociación de Maquinaria de Computación (ACM) en 2000. ^[5]

Vida personal

Está casado con la informática Irene Greif . ^[6]

Publicaciones

• 1991. Direcciones de investigación en informática: 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 elevación al cuadrado requiere espacio exponencial". Proc. 13º Simposio Anual sobre Conmutación y Teoría de Autómatas . págs. 125-129. doi :10.1109/SWAT.1972.29..

Referencias

1. Albert Ronald da Silva Meyer en el Proyecto Genealogía de Matemáticas .
2. "Colección: artículos de Albert Meyer | MIT ArchivesSpace". archivesspace.mit.edu . Consultado el 22 de julio de 2020 .
3. Información y Computación
4. "M" (PDF) . Miembros de la Academia Estadounidense de Artes y Ciencias: 1780-2005 .
5. "Becarios ACM". Archivado desde el original el 1 de enero de 2009."ACM: Premio becarios / 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 excelente servicio y educación de los estudiantes de posgrado".
6. 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.