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.

Courses


PHL 329M • Plato-W

43000 • Spring 2007
Meets TTH 8:00AM-9:30AM CAL 200

Intensive study of one or two important philosophers or philosophical works. 

PHL 329M • Plato

42190 • Spring 2006
Meets TTH 8:00AM-9:30AM CAL 200

Intensive study of one or two important philosophers or philosophical works. 

PHL 329M • Plato-W

40665 • Spring 2005
Meets TTH 8:00AM-9:30AM CAL 200

Intensive study of one or two important philosophers or philosophical works. 

PHL 329M • Plato-W

39240 • Spring 2004
Meets TTH 8:00AM-9:30AM NOA 1.110

Intensive study of one or two important philosophers or philosophical works. 

PHL 329M • Plato-W

39370 • Spring 2003
Meets TTH 8:00AM-9:30AM GAR 111

Intensive study of one or two important philosophers or philosophical works. 

PHL 375M • Plato-W

39435 • Spring 2002
Meets F 3:00PM-6:00PM WAG 210

Topic 1: Philosophy and Feminism

PHL 329M • Plato-W

39100 • Spring 2001
Meets TTH 3:30PM-5:00PM CAL 21

Intensive study of one or two important philosophers or philosophical works. 

Profile Pages


External Links