Associate
Professor, Wesleyan University
PhD in Computer Science from Carnegie Mellon
CV
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 Spring 2025, I am teaching Functional Programming.
