LLMpediaThe first transparent, open encyclopedia generated by LLMs

Larry Stockmeyer

Generated by GPT-5-mini
Note: This article was automatically generated by a large language model (LLM) from purely parametric knowledge (no retrieval). It may contain inaccuracies or hallucinations. This encyclopedia is part of a research project currently under review.
Article Genealogy
Parent: TQBF problem Hop 5
Expansion Funnel Raw 80 → Dedup 0 → NER 0 → Enqueued 0
1. Extracted80
2. After dedup0 (None)
3. After NER0 ()
4. Enqueued0 ()
Larry Stockmeyer
NameLarry Stockmeyer
Birth date1945
Death date2011
NationalityAmerican
OccupationComputer scientist
Known forComplexity theory, distributed computing, algorithm design
Alma materUniversity of California, Berkeley
WorkplacesIBM, Massachusetts Institute of Technology, University of California, Berkeley

Larry Stockmeyer

Larry Stockmeyer was an American computer scientist noted for foundational contributions to computational complexity theory, distributed computing, and algorithm design. He produced influential research while working at institutions such as the Massachusetts Institute of Technology, University of California, Berkeley, and IBM, collaborating with prominent figures across computer science and mathematics communities. His work influenced theory and practice in areas ranging from computational hardness to fault-tolerant systems.

Early life and education

Stockmeyer was born in 1945 and pursued undergraduate and graduate studies at the University of California, Berkeley, where he completed degrees under the atmosphere of postwar American scientific expansion alongside contemporaries from institutions like Stanford University, Princeton University, and Harvard University. At Berkeley he worked in an intellectual milieu that included faculty and students connected to Donald Knuth, Richard Karp, John Hopcroft, and Michael Rabin, integrating ideas from theoreticians associated with Bell Labs and research groups linked to RAND Corporation. His thesis and early publications engaged with topics that resonated with scholars at Courant Institute, Carnegie Mellon University, and University of Illinois Urbana–Champaign.

Academic and industry career

Stockmeyer's career spanned both academia and industry. He held positions at the Massachusetts Institute of Technology and returned to the University of California, Berkeley for collaborations, while also spending significant time at IBM research labs, interacting with researchers from Bell Labs, Xerox PARC, and laboratories associated with AT&T. He collaborated with scientists from Stanford Research Institute and engaged in cross-disciplinary projects alongside researchers at Microsoft Research and Intel research groups. His appointments brought him into contact with international centers such as École Normale Supérieure, University of Cambridge, University of Oxford, ETH Zurich, and University of Toronto, fostering exchanges with academics like those from MIT Lincoln Laboratory, Los Alamos National Laboratory, and Sandia National Laboratories.

Research contributions and legacy

Stockmeyer made landmark contributions to computational complexity theory and distributed computing that intersected with work by Stephen Cook, Leonid Levin, Richard Karp, and Michael Rabin. He authored results concerning the complexity of decision problems, reductions, and hierarchy theorems that were cited alongside results from Alan Turing-inspired investigations and research at Princeton University and the Institute for Advanced Study. His studies on nondeterminism and alternation complemented breakthroughs by scholars at Bell Labs and those publishing in venues like the Journal of the ACM and proceedings of the ACM Symposium on Theory of Computing and IEEE Symposium on Foundations of Computer Science. In distributed systems, his analyses of fault tolerance, consensus, and asynchronous computation interacted with foundational work by Leslie Lamport, Nancy Lynch, Roger Needham, and researchers connected to Cambridge University and Cornell University. Collaborations and citations linked Stockmeyer to the research cultures of SIGCOMM, SIGACT, SIAM, and international conferences such as ICALP and STOC.

His legacy includes influencing textbooks and monographs produced by authors at Addison-Wesley, Springer, and MIT Press, and shaping curricula at institutions like Columbia University, Yale University, and University of California, San Diego. Subsequent generations of theorists and systems researchers at Harvard University, Brown University, Duke University, and University of Michigan have built on his frameworks when addressing modern challenges encountered at corporations such as Google, Facebook, Amazon, Apple, and Microsoft.

Awards and honours

Throughout his career Stockmeyer received recognition from professional organizations and institutions. He was acknowledged in contexts related to awards administered by ACM, IEEE, and national academies comparable to National Academy of Sciences and National Academy of Engineering for contributions parallel to those of colleagues honored from Bell Labs and IBM Research. His publications were presented at prestigious conferences including STOC, FOCS, PODC, and DISC, and his work appeared in journals such as Journal of the ACM, SIAM Journal on Computing, and Communications of the ACM.

Personal life and death

Stockmeyer balanced his research with engagements in academic societies and collaborations spanning North America and Europe, interacting with scholars from University of British Columbia, McGill University, University of Waterloo, and McMaster University. He passed away in 2011, leaving a body of work that continues to be cited by researchers at institutions including Princeton University, Massachusetts Institute of Technology, Stanford University, University of California, Berkeley, and industry research labs such as IBM Research and Microsoft Research.

Category:American computer scientists Category:1945 births Category:2011 deaths