Licata, Daniel
[M] School of Mathematics
Field of Study: Computer Science
Research Description: 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.
Home Institution: Institute for Advanced Study
Funding provided by the National Science Foundation and the Oswald Veblen Fund
| Type | Affiliation | Start Date | End Date |
|---|---|---|---|
| [M] | Math | 9/1/2012 | current |
| Degree | Year | Institution |
|---|---|---|
| Ph.D. | 2011 | Carnegie Mellon University |