Michael Shamos

Michael Shamos
Name	Michael Shamos
Birth date	1947
Birth place	Pittsburgh, Pennsylvania
Nationality	American
Occupation	Mathematician; Computer Scientist; Inventor; Author
Alma mater	Carnegie Mellon University; Brown University
Notable works	"Mechanical Proof of the Four-Color Theorem"; "Computer Science: An Overview" (editorial contributions)

Michael Shamos was an American mathematician, computer scientist, and patent attorney known for contributions to computational geometry, electronic voting, and intellectual property law. He held academic appointments, authored technical and popular works, and served in professional organizations bridging Carnegie Mellon University, Brown University, and industry. His career combined theoretical research with practical invention and policy engagement.

Early life and education

Shamos was born in Pittsburgh, Pennsylvania and raised in the greater Allegheny County, Pennsylvania area near institutions such as Carnegie Mellon University and the University of Pittsburgh. He completed undergraduate and graduate studies at Carnegie Mellon University before earning a doctorate at Brown University, studying topics intersecting mathematics and computer science under advisors affiliated with research groups at IBM and other laboratories. During his formative years he interacted with faculty from Princeton University and visiting scholars from Stanford University and MIT.

Academic career and teaching

Shamos joined the faculty at Carnegie Mellon University where he taught courses linked to curricula influenced by faculty from University of California, Berkeley and Cornell University. He supervised graduate students and collaborated with researchers connected to centers such as the National Science Foundation-funded programs and research labs at Bell Labs and AT&T Research. His academic roles included participation in departmental affairs with colleagues who had ties to Harvard University and the University of Chicago.

Research and contributions

Shamos conducted research in computational geometry, algorithm design, and applied cryptography, contributing to problems studied alongside work from Donald Knuth, Edelsbrunner, and researchers at INRIA and ETH Zurich. He was involved in practical systems such as electronic voting technologies, engaging with standards and policy debates that included stakeholders from NIST and election bodies in states like Florida and California. His inventions intersected with patent activity overseen by the United States Patent and Trademark Office and legal scholarship appearing in venues associated with Harvard Law School and Yale Law School. Collaborations and critiques involved contemporaries from Carnegie Mellon and visiting academics from Columbia University and University of Pennsylvania.

Publications and books

Shamos authored and edited technical articles and books addressing algorithms, computational theory, and technology policy, contributing to literatures read by audiences at ACM and IEEE. His writings were cited alongside works published by authors from Oxford University Press and Cambridge University Press, and he presented papers at conferences such as the Symposium on Computational Geometry and meetings of the Association for Computing Machinery. He also wrote on patent law topics referenced in journals linked to Stanford Law School and Georgetown University Law Center.

Professional service and honors

Shamos served in professional capacities with organizations including the Association for Computing Machinery and advisory roles to state election commissions in jurisdictions like Pennsylvania and Ohio. He engaged with standards bodies and provided expert testimony to legislative committees influenced by reports from Congressional Research Service and panels convened at venues such as Carnegie Mellon and Yale University. Honors and recognitions in his career connected him to award programs administered by entities like IEEE and professional foundations associated with ACM.

Personal life and legacy

Outside academia, Shamos combined technical practice with patent law, interacting with law firms and institutional clients that collaborated with institutions such as University of Pittsburgh School of Law and regional technology incubators. His legacy persists in curricula, citation networks, and policy discussions involving scholars from Duke University, University of California, Los Angeles, and Michigan State University. His influence is evident in continuing debates on electronic voting, algorithmic geometry, and the relationship between invention and intellectual property law across universities and government agencies.

Category:American computer scientists Category:American mathematicians Category:Carnegie Mellon University faculty