Científico informático estadounidense
Larry Joseph Stockmeyer (1948 – 31 de julio de 2004) fue un informático estadounidense . Fue uno de los pioneros en el campo de la teoría de la complejidad computacional , y también trabajó en el campo de la computación distribuida . Murió de cáncer de páncreas . [1]
Carrera
- 1972: Licenciatura en Matemáticas, Instituto Tecnológico de Massachusetts .
- 1972: Maestría en ingeniería eléctrica, Instituto Tecnológico de Massachusetts.
- 1974: Doctorado en Ciencias de la Computación, Instituto Tecnológico de Massachusetts.
- 1974–1982: IBM Research , Centro de investigación Thomas J. Watson , Yorktown Heights, Nueva York.
- 1982–noviembre de 2003: IBM Research, Almaden Research Center , San José, CA.
- Octubre de 2002 – 2004: Universidad de California, Santa Cruz , Departamento de Ciencias de la Computación – Investigador asociado.
Reconocimiento
Publicaciones destacadas
- Meyer y Stockmeyer (1972): este trabajo introdujo la jerarquía polinomial . [5] [6]
- Stockmeyer (1974) — "una de las tesis doctorales más notables en informática". [7]
- Chandra y Stockmeyer (1976): este trabajo introdujo las máquinas de Turing alternas . [8]
- Dwork, Lynch y Stockmeyer (1988): este artículo recibió el Premio Dijkstra en 2007. [3]
Notas
- ^ "In Memoriam". currents online . UC Santa Cruz. 9 de agosto de 2004. Archivado desde el original el 30 de septiembre de 2015 . Consultado el 6 de junio de 2016 .
- ^ ACM: Premio Fellows / Larry Stockmeyer Archivado el 14 de diciembre de 2007 en Wayback Machine .
- ^ ab sitio web de PODC : Premio Dijkstra 2007.
- ^ Bórtnikov (2007).
- ^ Fortnow (2005).
- ^ Rajsbaum (2004).
- ^ Programa STOC 2005.
- ^ Chandra y Stockmeyer (1976).
Referencias
- Bortnikov, Edward (2007), "Revisión de DISC '07", ACM SIGACT News , 38 (4): 49–53, doi : 10.1145/1345189.1386170 , ISSN 0163-5700.
- Chandra, Ashok K.; Stockmeyer, Larry J. (1976). "17.º Simposio anual sobre fundamentos de la informática (SFCS 1976)". Proc. 17.º Simposio IEEE sobre fundamentos de la informática . Houston, Texas. págs. 98–108. doi :10.1109/SFCS.1976.4.
- Dwork, Cynthia ; Lynch, Nancy ; Stockmeyer, Larry (1988), "Consenso en presencia de sincronía parcial", Journal of the ACM , 35 (2): 288–323, CiteSeerX 10.1.1.13.3423 , doi :10.1145/42282.42283, S2CID 17007235.
- Fortnow, Lance (2005), "Más allá de la NP: el trabajo y el legado de Larry Stockmeyer" (PDF) , Actas del 37.º Simposio Anual de la ACM sobre Teoría de la Computación (STOC, Baltimore, MD, EE. UU., 2005) , págs. 120-127, doi :10.1145/1060590.1060609, ISBN 978-1-58113-960-0, Identificador único 16558679.
- 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.
- Rajsbaum, Sergio (2004), "Larry Stockmeyer: 1948–2004", ACM SIGACT News , 35 (4): 39, doi :10.1145/1054916.1054930, ISSN 0163-5700, S2CID 26255529.
- Stockmeyer, Larry J. (1974), La complejidad de los problemas de decisión en la teoría y la lógica de los autómatas (tesis), Instituto Tecnológico de Massachusetts, hdl :1721.1/15540. Tesis Doctoral.
- "Larry Stockmeyer". ISI Web of Knowledge, investigadores altamente citados .[ enlace muerto ]
- "En memoria de Larry Stockmeyer". UC Santa Cruz Currents Online . 9 de agosto de 2004.
- "Mensaje administrativo: fallecimiento de Larry Stockmeyer". UC Santa Cruz . 5 de agosto de 2004. Archivado desde el original el 28 de mayo de 2008. Consultado el 8 de febrero de 2009 .
- "Larry Joseph Stockmeyer". Proyecto de genealogía matemática .
- "Programa de la conferencia STOC 2005" (PDF) .Incluye el programa de la 'Conmemoración de Larry Stockmeyer' (21 de mayo de 2005).
Enlaces externos
- Página de inicio de Larry Stockmeyer.
- Larry J. Stockmeyer en el servidor de bibliografía DBLP
