Jeremy Avigad

Jeremy Avigad is a Professor of Philosophy and Mathematical Sciences at Carnegie Mellon University, where he also serves as Director of the Charles C. Hoskinson Center for Formal Mathematics. He is affiliated with the Department of Philosophy in the Dietrich College of Humanities and Social Sciences. His research focuses on the foundations of mathematics, particularly in the areas of logic and proof theory. Avigad's work explores the intersection of philosophy and mathematics, emphasizing formal methods and their applications. He is based at 135E Baker Hall, Carnegie Mellon University, and can be contacted via email at avigad@cmu.edu or through his website.

Jeremy Avigad is a Professor of Philosophy and Mathematical Sciences at Carnegie Mellon University, specializing in mathematical logic, proof theory, philosophy of mathematics, formal verification, and automated reasoning. His research focuses on the foundations of mathematics, the formalization of proofs, and the development of tools for verifying mathematical theorems. Avigad has contributed to projects such as the Lean theorem prover, the formal verification of the odd order theorem, and the formalization of classical mathematical theories like Euclid’s Elements. His work bridges theoretical logic with practical applications in automated reasoning and formal methods.