Registered user since Sat 4 Jul 2015
Name: Jeremy Avigad
Bio: 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.
Affiliation: Carnegie Mellon University
Personal website: http://www.andrew.cmu.edu/user/avigad/
POPL 2016 Activities
View general profile