Albert R. Meyer

Científico 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 en 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 Hitachi America de Ciencias de la Computación e Ingeniería en 1991. Se retiró del MIT en 2016. ^[2]

Vida académica

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

Entre los trabajos fundamentales de Meyer se encuentran Meyer & Stockmeyer (1972), que introdujo la jerarquía polinómica . Ha supervisado a numerosos estudiantes de doctorado que ahora son científicos informáticos famosos; entre ellos se encuentran 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

Es miembro de la Academia Estadounidense de las Artes y las Ciencias (AAAS) desde 1987, ^[4] y fue incluido como miembro de la Asociación de Maquinaria Computacional (ACM) en 2000. ^[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 para 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 de Genealogía Matemática .
2. "Colección: Documentos 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 las Artes y las Ciencias: 1780–2005 .
5. "ACM Fellows". Archivado desde el original el 1 de enero de 2009."ACM: Fellows Award / Albert R Meyer". Archivado desde el original el 14 de diciembre de 2007. Consultado el 7 de junio de 2009 ."Por los avances fundamentales en la teoría de la complejidad y la semántica de la programación, y por el excelente servicio y la educación de los estudiantes de posgrado".
6. McCluskey, Eileen (20 de octubre de 2008). "Irene Greif '69, SM '72, PhD '75 Uniendo computadoras y personas". MIT Technology Review . Consultado el 19 de abril de 2014 .

Enlaces externos

• Sitio web oficial
• Meyer, Albert R. en MathSciNet
• Albert R. Meyer en el servidor de bibliografía DBLP
• Documentos de Albert Meyer, MC-0377. Instituto Tecnológico de Massachusetts, Departamento de Colecciones Distintivas, Cambridge, Massachusetts.