Daniel R. Licata

Assistant Professor, Wesleyan University

PhD in Computer Science from Carnegie Mellon
Member at the Institute for Advanced Study, 2012-13
CV as of April 2013


My code, papers, and talks on Homotopy Type Theory, an exciting new project combining type theory, homotopy theory, and category theory.

In Spring 2015, 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