Name Jeremy Avigad Role Philosopher | Influenced by Jack Silver | |
 | ||
Born January 9, 1968 (age 56) ( 1968-01-09 ) New York City Website www.andrew.cmu.edu/user/avigad/ Main interests Logic, philosophy of mathematics, proof theory, formal verification Areas of interest Proof theory, Philosophy of mathematics, Formal verification, Logic | ||
Formal abstract homotopy theory jeremy avigad
Jeremy Avigad is a Professor of Philosophy at Carnegie Mellon University.
He received a B.A. in Mathematics from Harvard in 1989, and a Ph.D. in Mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver. He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics.
References
Jeremy Avigad Wikipedia(Text) CC BY-SA