Jeremy Avigad, Date of Birth, Place of Birth

Jeremy Avigad

American mathematician

Date of Birth: 09-Jan-1968

Place of Birth: New York City, New York, United States

Profession: mathematician, philosopher

Nationality: United States

Zodiac Sign: Capricorn

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.