Current Visitor

Daniel R. Grayson

Affiliation
Mathematics
Field of Study
Univalent Foundations
Home Institution
University of Illinois at Urbana-Champaign

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
  • Mathematics
1/2018current Spring
Visitor
  • Mathematics
1/20174/2017 Spring
Visitor
  • Mathematics
9/201512/2015 Fall
Member
  • Mathematics
9/20127/2014
Member
  • Mathematics
8/19818/1982
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