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
- ↑ «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
- ↑ ACM: Fellows Award / Larry Stockmeyer Arquivado em 14 de dezembro de 2007, no Wayback Machine..
- ↑ a b PODC web site: Dijkstra Prize 2007.
- ↑ Bortnikov (2007).
- ↑ Fortnow (2005).
- ↑ Rajsbaum (2004).
- ↑ 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.
