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

Highlights

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.

Contact

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