Daniel Licata headshot
Past Member

Daniel Licata

Funding provided by the National Science Foundation and the Oswald Veblen Fund

Affiliation

Mathematics

Field of Study

Computer Science

Home Institution

Institute for Advanced Study
From
-

Dan Licata will work on the theory and implementation of proof assistants for homotopy type theory, including the computational content of the univalence axiom and higher-dimensional inductive types, and applications in computer science to generic programming.

Dates at IAS

Member
School of Mathematics

Degrees

Carnegie Mellon University
Ph.D.
2011