Larry Stockmeyer
Larry Joseph Stockmeyer (1948 – 31 July 2004) was an American computer scientist. He was one of the pioneers in the field of computational complexity theory, and he also worked in the field of distributed computing. He died of pancreatic cancer.[1]
Larry Stockmeyer | |
|---|---|
| Born | 1948 |
| Died | 31 July 2004 |
| Nationality | American |
| Occupation | computer scientist |
| Known for | Pioneers in the field of computational complexity theory |
Career
- 1972: BSc in mathematics, Massachusetts Institute of Technology.
- 1972: MSc in electrical engineering, Massachusetts Institute of Technology.
- 1974: PhD in computer science, Massachusetts Institute of Technology.
- Supervisor: Albert R. Meyer.
- 1974–1982: IBM Research, Thomas J. Watson Research Center, Yorktown Heights, NY.
- 1982–November 2003: IBM Research, Almaden Research Center, San Jose, CA.
- October 2002–2004: University of California, Santa Cruz, Computer Science Department – Research Associate.
Recognition
- 1996: Fellow of the Association for Computing Machinery: "For several fundamental contributions to computational complexity theory, which have significantly affected the course of this field."[2]
- 2007: The Edsger W. Dijkstra Prize in Distributed Computing for the paper Dwork, Lynch & Stockmeyer (1988).[3][4]
Notable publications
- Meyer & Stockmeyer (1972) — this work introduced the polynomial hierarchy.[5][6]
- Stockmeyer (1974) — "one of the most remarkable doctoral theses in computer science".[7]
- Chandra & Stockmeyer (1976) - this work introduced alternating Turing machines.[8]
- Dwork, Lynch & Stockmeyer (1988) — this paper received the Dijkstra Prize in 2007.[3]
Notes
- "In Memoriam". currents online. UC Santa Cruz. 9 August 2004. Archived from the original on 30 September 2015. Retrieved 6 June 2016.
- ACM: Fellows Award / Larry Stockmeyer Archived 2007-12-14 at the Wayback Machine.
- PODC web site: Dijkstra Prize 2007.
- Bortnikov (2007).
- Fortnow (2005).
- Rajsbaum (2004).
- STOC 2005 program.
- Chandra, Ashok K.; Stockmeyer, Larry J. (1976). "Alternation". Proc. 17th IEEE Symp. on Foundations of Computer Science. Houston, Texas. pp. 98–108. doi:10.1109/SFCS.1976.4.
gollark: Local variables aren't passed into the stuff inside `load`, but you can pass an environment as I think the 4th argument and add additional stuff to that, or use globals, or pass in the extra stuff as function parameters. You can access parameters inside `load`ed code with `...`.
gollark: <@185325259673698304> TE lets you manually set input/output slots and sides in the GUI.
gollark: What I usually do is have all my headless EEPROMy devices boot from a code file on the interwebs.
gollark: I would say Thermal stuff.
gollark: It can do some stuff, like redstone IO with a card, or wireless networking also with a card.
References
- Bortnikov, Edward (2007), "Review of DISC '07", ACM SIGACT News, 38 (4): 49–53, doi:10.1145/1345189.1386170 (inactive 2020-01-22), 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, 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), pp. 120–127, doi:10.1145/1060590.1060609, ISBN 978-1-58113-960-0.
- 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 (Thesis), Massachusetts Institute of Technology, hdl:1721.1/15540. PhD Thesis.
- "Larry Stockmeyer". ISI Web of Knowledge, highly cited researchers.
- "In Memoriam – Larry Stockmeyer". UC Santa Cruz Currents Online. 9 August 2004.
- "Administrative Message: Passing of Larry Stockmeyer". UC Santa Cruz. 5 August 2004. Archived from the original on 2008-05-28. Retrieved 2009-02-08.
- "Larry Joseph Stockmeyer". Mathematics Genealogy Project.
- "STOC 2005 conference program" (PDF). Includes the program of 'Larry Stockmeyer Commemoration' (21 May 2005).
- Chandra, Ashok K.; Stockmeyer, Larry J. (1976). "Alternation". Proc. 17th IEEE Symp. on Foundations of Computer Science. Houston, Texas. pp. 98–108. doi:10.1109/SFCS.1976.4.
External links
- Larry Stockmeyer's Home Page.
- Larry J. Stockmeyer at DBLP Bibliography Server
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.