معرفی
Jeremy Avigad is a Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University, where he serves as Director of the Hoskinson Center for Formal Mathematics and holds a Dean's Chair in Logic and Philosophy of Mathematics.
His primary research interests include Formal Methods and AI for mathematics, mathematical logic, and the history and philosophy of mathematics. His work bridges deep theoretical inquiry with practical applications, particularly in formal verification and automated reasoning.
His recent publications reflect a strong focus on the formalization of mathematics, automated reasoning, and the integration of AI techniques into theorem proving. Key themes include the development and application of the Lean theorem prover, premise selection, proof optimization, and the formal verification of computational claims, especially in the context of blockchain technology.
- CADE-25 Skolem Award
Avigad advises PhD students, such as Chase Norman, and is involved in significant research grants and collaborations, including work with StarkWare. He is an active organizer of major academic events like Big Proof and the Formalization of Mathematics workshops.
He leads the Hoskinson Center for Formal Mathematics, a research hub dedicated to advancing the field of formal mathematics.
