Department of Philosophy
Department of Philosophy

Robert S Boyer


Professor EmeritusPhD, UT Austin

Contact

Interests


Logic, automatic theorem proving, ancient philosophy

Biography


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