Larry Stockmeyer

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]

• 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.
  • Supervisor: Albert R. Meyer .
• 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.

• 1996: Miembro de la Association for Computing Machinery : "Por varias contribuciones fundamentales a la teoría de la complejidad computacional, que han afectado significativamente el curso de este campo". ^[2]
• 2007: Premio Edsger W. Dijkstra en Computación Distribuida por el artículo Dwork, Lynch & Stockmeyer (1988). ^{[3] [4]}

• 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]

• 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).

• Página de inicio de Larry Stockmeyer.
• Larry J. Stockmeyer en el servidor de bibliografía DBLP