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 2014, I am teaching Principles of Programming Languages and Principles of Imperative Computation.


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