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 Fall 2014, I am teaching 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