Skip Navigation
UT wordmark
College of Liberal Arts wordmark
philosophy masthead
David Sosa, Chair 2210 Speedway, WAG 316, Stop C3500, Austin, TX 78712 • 512-471-4857

Robert S Boyer

Professor Emeritus PhD, UT Austin



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.


Logic, automatic theorem proving, ancient philosophy
bottom border