|Resume of Michael Ian Shamos|
French, Russian (good reading and technical translation skills, fair conversational ability). Academic Experience
Honors and Awards
LG-CNS, South Korea (2002-). Project to automate the Korean court system.Directorships
Date of birth: April 21, 1947.
Married to Julie Shamos (formerly Julie Van Allen), August 12, 1973.
Children: Josselyn (born May 20, 1982), Alexander (born August 3, 1984).
Military Status: Veteran (Commissioned Officer, U.S. Public Health Service, 1970-72).
Health: excellentContact Information
6707 Gates Hillman Complex
5000 Forbes Avenue
Carnegie Mellon University
Pittsburgh, PA 15213
Office Telephone: 412-268-8193
Office Fax: 412-268-6298
2. Вычислительная геометрия: введение. Russian translation of "Computational Geometry: An Introduction." Moscow: Mir Publishers (1989). ISBN 5030010416.
3. Keisan kikagaku nyumon. Japanese translated by T. Asano and T. Asano of Computational Geometry: An Introduction, with F. P. Preparata. Soken Shuppan (Jul. 1992). ISBN 4795263213.
4. Handbook of Academic Titles. 193 pp. (Jan. 2011). An encyclopedia of various academic designations used at over 1000 colleges and universities in the United States.
5. Geometria obliczeniowa. Wprowadzenie. Polish translation of "Computational Geometry: An Introduction." Warsaw: Helion (2003) 392 pp. ISBN 83-7361-098-7.
6. Shamos's Catalog of the Real Numbers. A list, patterned after Sloane & Plouffe, The Encyclopedia of Integer Sequences, Academic Press (1995). Over 10,000 interesting real numbers arranging in lexical order by decimal expansion, with accompanying formulas.
1. "On the Piezoelectric Effect in Bone," with M. H. Shamos and L. S. Lavine. Nature 197:81 (1963).
2. "An Absorber Theory of Acoustical Radiation," with M. A. Tavel. Journal of the Acoustical Society of America 54:4649 (1973).
3. "Problems in Computational Geometry." Unpublished book manuscript (1974, revised 1977). Distributed in photocopy.
4. "Geometric Complexity." Proceedings of the Seventh Annual ACM Symposium on Automata and Theory of Computation (May 1975) 224233.
5. "Closest-point Problems," with D. J. Hoey. Proceedings of the Sixteenth IEEE Symposium on Foundations of Computer Science (Oct. 1975) 151162.
6. "Divide and Conquer in Multidimensional Space," with J. L. Bentley. Proceedings of the Eighth Annual ACM Symposium on Automata and Theory of Computing (May 1976) 220230.
7. "Geometric Intersection Problems," with D. J. Hoey. Proceedings of the Seventeenth Annual IEEE Symposium on Foundations of Computer Science (Oct. 1976) 208215.
8. "Lower Bounds from Complex Function Theory," with G. Yuval. Proceedings of the Seventeenth Annual IEEE Symposium on Foundations of Computer Science (Oct. 1976) 268273.
9. "Geometry and Statistics: Problems at the Interface." In Algorithms and Complexity: New Directions and Recent Results, J. F. Traub, ed., Academic Press (1976) 251280.
10. "Divide and Conquer for Linear Expected Time," with J. L. Bentley. Information Processing Letters 7 (1977) 8791.
11. "A Problem in Multivariate Statistics: Algorithm, Data Structure, and Applications," with J. L. Bentley. Proceedings of the Fifteenth Allerton Conference on Communications, Control and Computers (Sep. 1977) 193201.
12. "Optimal Algorithms for Structuring Geographic Data," with J. L. Bentley. Proceedings of the Harvard Conference on Topological Data Structures for Geographic Information Systems (Oct. 1977) 4351.
14. "Time and Space," with A. R. Meyer. In Perspectives on Computer Science, A. K. Jones, ed. Academic Press (1978).
15. Combinatorics on Graphs I: Graph Polynomials. Unpublished book manuscript (1978).
16. "Robust Picture Processing Operators and Their Implementation as Circuits." Proceedings of the Fall 1978 Workshop on Image Processing, Carnegie Mellon University (1978).
17. "A practical system for source language translation," with T. R. Kueny and P. L. Lehman. Proceedings of the National Conf. on Software Reuseability and Maintainability, pp. B-1 B-12, Washington, DC (Sep. 1986).
18. "The Early Years of Computational Geometry A Personal Memoir." Advances in Discrete and Computational Geometry (B. Chazelle, J. E. Goodman, and R. Pollack, eds.), Contemporary Mathematics, Amer. Math. Soc., Providence (1998).
19. Overcounting Functions. A systematic method of transforming certain multiple summations into single summations, with new number-theoretic results.
20. Property Enumerators and a Partial Sum Theorem. A new result allowing rapid symbolic evaluation of certain types of double summations.
1. "Machines as readers: a solution to the copyright problem." J. Zhejiang Univ. Science 6A, 11, pp. 1179-1187 (Nov. 2005).
1. "Japanese Digital Information Policy, Intellectual Property and Economics," in "Digital Information Organization in Japan," International Technology Research Institute (1998).
2. "Voting System Certification An Examiners View." Invited paper presented at the Election Center Conference, Reno, Nevada (Sep. 1989).
3. "Electronic Voting Evaluating the Threat." Proc. Third ACM Conf. on Computers, Freedom & Privacy, San Francisco, CA (Mar. 1993).
5. "Evaluation of Voting Systems," with P.L. Vora, B. Adida, R. Bucholz, D. Chaum, D. Dill, D. Jefferson, D. Jones, W. Lattin, A. Rubin and M. Young, Commun. ACM 47(11):144 (2004).
6. "Voting as an Engineering Problem." The Bridge (publication of the National Academy of Engineering), Summer 2007, pp. 35-39.
7. "Software and Security Analysis of the ES&S iVotornic 188.8.131.52 Voting Machine Firmware," with Yasinsac et al., February 23, 2007. Review commissioned by the Secretary of State of Florida to investigate irregularities in the Congressional District 13 election of 2006.
2. Le billard et le billard américain. Paris: Minerva, 1992, reprinted 1997. 128 pp. Translation by Jean-Yves Prate of the authors American book, Pool. ISBN 2830701607 (1992), 2-8814-3135-6 (1997).
4. Pool Snooker Carambola. Padua: Facto Edizioni (1993). 128 pp. Italian translation of Pool. Translated by Elisabetta Bezzon. ISBN 88-85860-20-6. The first English-language billiard book ever published in Italian.
6. Shooting Pool: The People, the Passion, the Pulse of the Game, with photographs by George Bennett. New York: Artisan (Jun. 1998). 144 pp. ISBN 1-885183-95-X. A photographic survey of pool in the U.S. in 1997. A Book-of-the-Month Club bonus selection (Fall, 1998).
7. Setting the Stage for Fifty Years. Coralville, IA: Billiard Congress of America (Jun. 1998). 88 pp. A history of the Billiard Congress of America.
1. A Graph-Theoretic Model of Electronic Payment Systems.
1. A Dictionary of American Intellectual Property.
"Electronic Judiciary Services in the United States." Address at the Supreme Court of Korea (Dec. 2004).
"eGovernment in the United States." Public address at the University of Hong Kong (Feb. 2005).
"Global SCM as a Cross-Border eCommerce Model," Korea International Trade Association, Seoul, Korea (Mar. 2007).
"Innovate or Die." Invited talk at the Verizon Leadership Meeting, Morristown, NJ (Jun. 2007).
"A Formula for Innovation." Public address at the University of Hong Kong (Feb. 2008).
SCIENCE AND LAW"Digital Property in the 21st Century." Keynote address for the Spring Meeting of the American Intellectual Property Law Association, Pittsburgh, PA (May 2000). View slides.
"Who Owns This Algorithm?" Carnegie Mellon University (Nov 1991); Microelectronics and Computer Corporation (Jan. 1992); Univ, of Texas at Austin (Jan. 1992); UCLA (Feb. 1992).
"New Computer Technology and Its Application to Workers Compensation." Forum IV, Newport Beach, CA (Feb. 1992).
"The Office of the Future, If There Is One." 1994 IAIABC Conf., Pittsburgh, PA (Sep. 1994).
"The Fringes of Infringement." University of Texas, Austin, TX (Sep. 1995).
"The Arts and the Internet." Allegheny County Bar Association Continuing Legal Education course (June 26, 1996).
"The Universal Information Resource." Inventing the Future, Symposium in Honor of Raj Reddys 60th Birthday, Carnegie Mellon University, Pittsburgh, PA (May 1998).
"The Universal Library." University of Texas at Austin (Sep. 1998)
"The Universal Library and Its Role in Scientific Information." Keynote address to the RNA Society symposium on Emerging Sources of RNA Information, Arlington, VA (Dec. 8, 1998).
"Digital Property in the 21st Century." Luncheon address to the American Intellectual Property Law Association, Pittsburgh, PA (May. 2000).
"The Future of eCommerce." Address to the Association for Corporate Growth, Pittsburgh, PA (Dec. 2001).
"Copyright Protection and Distance Learning." Hong Kong Intellectual Property Office (Feb. 2002).
"Surprises in Experimental Mathematics." Carnegie Mellon University Mathematics Seminar (Feb. 2002).
"The Universal Dictionary." Address at International Institute of Information Technologies (IIIT), Hyderabad, India (Jan. 2003).
"The Million Book Projects." Public address at the University of Hong Kong (Jan. 2003).
"Mathematics and the Privacy Laws." ALADDIN Workshop on Privacy in D.A.T.A., Pittsburgh, PA (Mar. 2003).
"Machines as readers: a solution to the copyright problem." 1st Int'l Conf. on Universal Digital Library, Hangzhou, China (Nov. 2005).
"University Technology Transfer: How to Fix It." Asia Conference on Technology Transfer (ACTT) 2006, Seoul, S. Korea (Mar. 2006).
"How Big a Problem is Copyright"? USAIN Conference, Cornell University, Ithaca, NY (Oct. 2006).
"Digital Ownership." 2d Intl. Conf. on Universal Digital Library, Alexandria, Egypt (Nov. 2006).
"How Did It (Computational Geometry) Start?" Keynote address at the 20th Canadian Conference on Computational Geometry, Montreal, Canada (Aug. 2008).
"Voting System Certification An Examiners View." Election Center Conference, Reno, Nevada (Sep. 1989).
"Electronic Voting Evaluating the Threat." Third Conf. on Computers, Freedom and Privacy, San Francisco, CA (Mar. 1993).
"What's Happing in Florida?" Carnegie Mellon University (Nov. 2001)."
"Electronic Voting: The Technology of Democracy." Hong Kong University (Feb. 2004).
"Theory v. Practice in Electronic Voting." DIMACS (Rutgers Univ., May 2004).
"HAVA: Are We Ready?" Panel at the League of Women Voters National Convention, Washington, DC (Jun. 2004).
"Testing Voting Machines." Panel at the American Enterprise Institute, Washington, DC (Jun. 2004).
"Electronic Voting: Promise and Peril." Talk at the Moritz College of law, Ohio State University (Sep. 2004).
"Is e-voting ready for prime time: Legal and technical issues regarding the upcoming Presidential election." Panel at John Marshall Law School, Chicago, IL (Oct. 2004).
"Is Electronic Voting Reliable?" Talk to the Kiwanis Club of Dubuque, Iowa (Feb. 2005).
"The Top Ten Problems in Practical Electronic Voting." Int'l Workshop on Mathematics and Democracy, Ettore Majorana Centre, Erice, Sicily (Sept. 2005).
"Why Don't We Have Paper Trails in Pennsylvania?" Carnegie Mellon Univ. CyLab Seminar, Pittsburgh, PA (Jan 2006).
"Paper Trails and the Pennsylvania Certification Process." County Commissioners Association of Pennsylvania 2006 Spring Conference, Harrisburg, PA (Mar. 2006).
"The 2006 Elections: Are We Ready?" Panel at the American Enterprise Institute, Washington, DC (Sept. 2006).
"What's Right with Electronic Voting?" University Lecture Series, Carnegie Mellon University (Oct. 12, 2006).
"What Happened in Yesterday's Election?" Center for Research on Computation and Society, Harvard University (Nov. 8, 2006).
"What Happened in Sarasota County"? Council on Government Ethics Laws, New Orleans, LA (Dec. 6, 2006).
"What Happened to 18,000 Votes? Results of the Sarasota Source Code Audit." Carnegie Mellon University (Apr. 16, 2007).
"Opscan Voting: The Good, the Bad and the Ugly." Florida State Association of Supervisors of Elections, Destin, Florida (May 24, 2007).
"Voting Machine Fraud." University of Pittsburgh (Nov. 11, 2008)