Past Visitor
Daniel R. Grayson
Funding provided by the Fund for Mathematics
From
–
Daniel Grayson is working on computer formalization of some of the proofs of modern mathematics, using Vladimir Voevodsky’s univalent foundations, a new foundation for mathematics based on homotopy type theory, in which the notion of “set” is no longer the most fundamental.
Dates at IAS
Visitor
School of Mathematics
–
Spring
Visitor
School of Mathematics
–
Spring
Visitor
School of Mathematics
–
Fall
Member
School of Mathematics
–
Member
School of Mathematics
–
Degrees
Massachusetts Institute of Technology
Ph.D.
1976
University of Chicago
M.Sc.
1972
University of Chicago
B.Sc.
1972
Appointments
University of Illinois at Urbana-Champaign
1981–2007
Faculty Member
Barnard College at Columbia University
1976–1981
RItt Assistant Professor
