|
Department of Mathematical Sciences
Events
People
Colloquia and Seminars
Conferences
Centers
Positions
Areas of Research
About the Department |
Jeremy Avigad
 Professor
I am a professor in the Department of Philosophy and Department of Mathematical Sciences at Carnegie Mellon University, and Director of Graduate Studies in Philosophy. I am associated with Carnegie Mellon's interdisciplinary program in Pure and Applied Logic. Research Interests Mathematical logic, proof theory, philosophy of mathematics, formal verification, automated reasoning, history of mathematics. |
