Larry Stockmeyer

Larry Stockmeyer
Född	1948
dog	31 juli 2004
Nationalitet	amerikansk
Ockupation	datorvetenskapsman
Känd för	Pionjärer inom området beräkningskomplexitetsteori

Larry Joseph Stockmeyer (1948 – 31 juli 2004) var en amerikansk datavetare . Han var en av pionjärerna inom området för beräkningskomplexitetsteori , och han arbetade också inom området för distribuerad datoranvändning . Han dog av cancer i bukspottkörteln .

Karriär

• 1972: Kandidatexamen i matematik, Massachusetts Institute of Technology .
• 1972: Civilingenjör i elektroteknik, Massachusetts Institute of Technology.
• 1974: PhD i datavetenskap, Massachusetts Institute of Technology.
  • Handledare: 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.
• Oktober 2002–2004: University of California, Santa Cruz , datavetenskapsavdelningen – forskningsassistent.

Erkännande

• 1996: Fellow i Association for Computing Machinery : "För flera grundläggande bidrag till teori om beräkningskomplexitet, som avsevärt har påverkat utvecklingen av detta område."
• 2007: Edsger W. Dijkstra-priset i distribuerad datoranvändning för tidningen Dwork, Lynch & Stockmeyer (1988) .

Anmärkningsvärda publikationer

• Meyer & Stockmeyer (1972) — detta arbete introducerade polynomhierarkin .
• Stockmeyer (1974) — "en av de mest anmärkningsvärda doktorsavhandlingarna inom datavetenskap".
• Chandra & Stockmeyer (1976) — detta arbete introducerade alternerande Turing-maskiner .
• Dwork, Lynch & Stockmeyer (1988) — denna tidning fick Dijkstra-priset 2007.

Anteckningar

•   Bortnikov, Edward (2007), "Review of DISC '07", ACM SIGACT News , 38 (4): 49–53, doi : 10.1145/1345189.1386170 , ISSN 0163-5700 .
• Chandra, Ashok K.; Stockmeyer, Larry J. (1976). "17th Annual Symposium on Foundations of Computer Science (SFCS 1976)". Proc. 17:e IEEE Symp. om grunderna för datavetenskap . Houston, Texas. s. 98–108. doi : 10.1109/SFCS.1976.4 .
• Dwork, Cynthia ; Lynch, Nancy ; Stockmeyer, Larry (1988), "Consensus in the presence of partial synchrony",   of the ACM , 35 (2): 288–323, CiteSeerX 10.1.1.13.3423 , doi : 10.1145/42282.402283 , 57 S.   Journal
• 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) ,    . 120–127, doi : 10.1145/1060590.1060609 , ISBN 978-1-58113ID 96013ID 96013ID 96013ID s
• Meyer, Albert R .; Stockmeyer, Larry J. (1972), "Ekvivalensproblemet för reguljära uttryck med kvadrering kräver exponentiellt utrymme", Proc. 13th Annual Symposium on Switching and Automata Theory , s. 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 2 9625CID 2 9625 .
• Stockmeyer, Larry J. (1974), The Complexity of Decision Problems in Automata Theory and Logic (Thesis), Massachusetts Institute of Technology, hdl : 1721.1/15540 . Doktorsavhandling.
• "Larry Stockmeyer" . ISI Web of Knowledge, mycket citerade forskare .
• "In Memoriam - Larry Stockmeyer" . UC Santa Cruz strömmar online . 9 augusti 2004.
• "Administrativt meddelande: Larry Stockmeyers bortgång" . UC Santa Cruz . 5 augusti 2004. Arkiverad från originalet 2008-05-28 . Hämtad 2009-02-08 .
• "Larry Joseph Stockmeyer" . Matematik Genealogy Project .
• "STOC 2005 konferensprogram" (PDF) . Inkluderar programmet "Larry Stockmeyer Commemoration" (21 maj 2005).

externa länkar

• Larry Stockmeyers hemsida .
• Larry J. Stockmeyer på DBLP Bibliography Server