Past Visitor

Daniel R. Grayson

Funding provided by the Fund for Mathematics

Affiliation

Mathematics

Field of Study

Univalent Foundations

Home Institution

University of Illinois at Urbana-Champaign
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