|
Daniel R. Licata Associate
Professor, Wesleyan University
PhD in Computer Science from Carnegie Mellon |
Highlights
Dan Licata works on type theory (especially homotopy type theory), logic, category theory, functional programming, and programming languages.
See my code, papers, and talks.
In Fall 2024, I am teaching Functional Programming.
Contact
| dlicata at wesleyan.edu | |
| Phone | 412 889 0106 |
| Office | Exley 633 |
| Mailing address |
Department of Mathematics and Computer Science Wesleyan University Middletown, CT 06459 |