Curriculum Vitae Robert Stephen Boyer Home address: 614 W. 32nd St. Austin, TX 78705 USA Born: August 2, 1946, Washington, D. C. Citizenship: U.S.A. Wife: Anne Olivia Herrington, married 1966 Children: Madeleine, Margaret, Nathaniel Father: Cdr. Fred Y. Boyer, U.S.N., Ret. Mother: Catherine Ann Boyer home telephone: : +1 512 467 0182 e-mail:
[email protected] home page: http://www.cs.utexas.edu/users/boyer/index.html Education Ph. D., Mathematics, 1971 University of Texas, Austin, Texas B. A., Mathematics, Magna cum laude, 1967 University of Texas, Austin, Texas King High School, Kingsville, Texas, 1964 Jobs Professor in Computer Sciences, Mathematics, and Philosophy Departments University of Texas at Austin, 1981-2008 Senior Computing Research Scientist, Fall 1993 - Spring 1995, Computational Logic, Inc. Austin, Texas Senior Member of Technical Staff, 1985-1987 Microelectronics and Computer Technology Corporation Artificial Intelligence Program Austin, Texas Associate Professor, 1981-1985 1 Computer Sciences Department, University of Texas at Austin Staff Scientist, 1981 Senior Research Mathematician, 1979-81 Research Mathematician, 1973-78 Computer Science Laboratory SRI International Menlo Park, California Research Fellow, 1971-73 Department of Computational Logic University of Edinburgh, Edinburgh, Scotland Research Assistant, 1970-71 Artificial Intelligence Laboratory Massachusetts Institute of Technology, Cambridge, Mass. Teaching Assistant, 1967-70 Department of Mathematics University of Texas, Austin, Texas Honors and Professional Activities The 2005 Software System Award was given for the Boyer-Moore Theorem Prover to Robert S. Boyer, Matt Kaufmann, and J Strother Moore by the Association for Computing Machinery. 6th Herbrand Award for exceptional contributions to the field of Automated Deduction, awarded by CADE Inc.