Larry Stockmeyer

Larry Stockmeyer
Nascimento	1948
Morte	31 de julho de 2004 (56 anos)
Nacionalidade	Estadunidense
Prêmios	Prêmio Dijkstra (2007)
Campo(s)	Ciência da computação

Larry Joseph Stockmeyer (1948 – 31 de julho de 2004) foi um cientista da computação americano. Ele foi um dos pioneiros no campo da teoria da complexidade computacional, e também trabalhou na área de computação distribuída. Ele morreu de câncer de pâncreas.[1]

Carreira

• 1972: Licenciado em matemática, Instituto de Tecnologia de Massachusetts.
• 1972: Mestrado em engenharia elétrica, Instituto de Tecnologia de Massachusetts.
• 1974: Doutorado em ciência da computação, Instituto de Tecnologia de Massachusetts.
  • Orientador: Albert R. Meyer.
• 1974-1982: IBM Research, Thomas J. Watson Research Center, Yorktown Heights, nova york.
• 1982–novembro de 2003: IBM Research, Centro de Pesquisas de Almaden, San Jose, CA.
• De outubro de 2002-2004: Universidade da Califórnia, Santa Cruz, Departamento de Ciência da computação – Associado de Investigação.

Reconhecimento

• 1996: membro da Association for Computing Machinery: "Por diversas contribuições fundamentais para a teoria da complexidade computacional, que têm afetado significativamente o curso deste campo."[2]
• 2007: Prêmio Dijkstra em Computação Distribuída pelo artigo Dwork, Lynch & Stockmeyer (1988).[3][4]

Publicações selecionadas

• Meyer & Stockmeyer (1972) — este trabalho apresentou a hierarquia polinomial.[5][6]
• Stockmeyer (1974) — "uma das mais notáveis teses de doutoramento  em ciência da computação".[7]
• Dwork, Lynch & Stockmeyer (1988) — esse artigo recebeu o Prêmio Dijkstra em 2007.[3]

Notas

1. «In Memoriam». currents online. UC Santa Cruz. 9 de agosto de 2004. Consultado em 6 de junho de 2016. Cópia arquivada em 30 de setembro de 2015 
2. ACM: Fellows Award / Larry Stockmeyer Arquivado em 14 de dezembro de 2007, no Wayback Machine..
3. PODC web site: Dijkstra Prize 2007.
4. Bortnikov (2007).
5. Fortnow (2005).
6. Rajsbaum (2004).
7. STOC 2005 program.

Referências

• Bortnikov, Edward (2007), "Review of DISC '07", ACM SIGACT News 38 (4): 49–53, doi:10.1145/1345189.1386170, ISSN 0163-5700 .
• Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry (1988), "Consensus in the presence of partial synchrony", Journal of the ACM 35 (2): 288–323, doi:10.1145/42282.42283 .
• Fortnow, Lance (2005), "Beyond NP: the work and legacy of Larry Stockmeyer" (PDF), Proc. 37th Annual ACM Symposium on Theory of Computing (STOC, Baltimore, MD, USA, 2005), pp. 120–127, doi:10.1145/1060590.1060609, ISBN 1-58113-960-8 .
• Meyer, Albert R.; Stockmeyer, Larry J. (1972), "The equivalence problem for regular expressions with squaring requires exponential space", Proc. 13th Annual Symposium on Switching and Automata Theory, pp. 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 .
• Stockmeyer, Larry J. (1974), The Complexity of Decision Problems in Automata Theory and Logic . PhD Thesis.
• "Larry Stockmeyer". ISI Web of Knowledge, highly cited researchers. ^[dead link]
• "In Memoriam – Larry Stockmeyer". UC Santa Cruz Currents Online. 9 August 2004. 
• "Administrative Message: Passing of Larry Stockmeyer". UC Santa Cruz. 5 August 2004. 
• "Larry Joseph Stockmeyer". Mathematics Genealogy Project. 
• "STOC 2005 conference program" (PDF).  Includes the program of 'Larry Stockmeyer Commemoration' (21 May 2005).

Ligações externas

• Larry Stockmeyer Home Page.
• Larry Stockmeyer na DBLP.