Daniel R. Licata

Associate Professor, Wesleyan University

PhD in Computer Science from Carnegie Mellon


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 2024, I am teaching Functional Programming.


Email dlicata at wesleyan.edu
Phone 412 889 0106
Office Exley 633
Mailing address Department of Mathematics and Computer Science
Wesleyan University
Middletown, CT 06459