Department of Philosophy
Department of Philosophy

Robert S Boyer

Professor EmeritusPhD, UT Austin



Logic, automatic theorem proving, ancient philosophy


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.

Profile Pages

External Links