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 Fall 2021, I am teaching Principles of Programming Languages.


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