Past Member
Daniel Licata
Funding provided by the National Science Foundation and the Oswald Veblen Fund
Affiliation
Mathematics
Field of study
Computer Science
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.
Visits
Member
School of Mathematics
–
Degrees
Carnegie Mellon University
Ph.D.
2011
