Larry Stockmeyer
| Larry Stockmeyer | |
|---|---|
| Nascimento | |
| Morte | 31 de julho de 2004 (56 anos) |
| Nacionalidade |  Estadunidense |
| Prêmios | Prêmio Dijkstra (2007) |
| Carreira científica | |
| 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, ISSN 0163-5700, 38 (4): 49–53, doi:10.1145/1345189.1386170
. - Chandra, Ashok K.; Stockmeyer, Larry J. (1976). «17th Annual Symposium on Foundations of Computer Science (SFCS 1976)». Proc. 17th IEEE Symp. on Foundations of Computer Science. Houston, Texas. pp. 98–108. doi:10.1109/SFCS.1976.4
- Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry (1988), «Consensus in the presence of partial synchrony», Journal of the ACM, 35 (2): 288–323, CiteSeerX 10.1.1.13.3423, 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), ISBN 978-1-58113-960-0, pp. 120–127, doi:10.1145/1060590.1060609.
- 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, ISSN 0163-5700, 35 (4): 39, doi:10.1145/1054916.1054930.
- Stockmeyer, Larry J. (1974), The Complexity of Decision Problems in Automata Theory and Logic (Thesis), Massachusetts Institute of Technology, hdl:1721.1/15540. PhD Thesis.
- «Larry Stockmeyer». ISI Web of Knowledge, highly cited researchers[ligação inativa]
- «In Memoriam – Larry Stockmeyer». UC Santa Cruz Currents Online. 9 Agosto 2004
- «Administrative Message: Passing of Larry Stockmeyer». UC Santa Cruz. 5 Agosto 2004. Consultado em 8 de fevereiro de 2009. Cópia arquivada em 28 de maio de 2008
- «Larry Joseph Stockmeyer». Mathematics Genealogy Project
- «STOC 2005 conference program» (PDF) Includes the program of 'Larry Stockmeyer Commemoration' (21 May 2005).
