Office: MAI 2014
Phone: 471-9745
boyer@cs.utexas.edu
Webpage

Education: BA, PhD Mathematics, University of Texas at Austin

Research interests:
Professor Boyer's research focuses on automated theorem proving, logic, and the philosophy of mathematics. He co-authored both A Computational Logic (1979) and A Computational Logic Handbook (2nd ed., 1997), and has also edited several volumes. He is especially well-known for the 'Boyer- Moore' theorem prover; he and his collaborator J. Strother Moore were recently awarded the Herbrand Award for Distinguished Contributions to Automated Reasoning at the International Conference on Automated Deduction. Professor Boyer serves on the editorial board of the Journal of Automated Reasoning.

Courses taught:
Logic, automatic theorem proving, ancient philosophy

Field(s) of Study: Philosophical Logic