Daniel R. Licata

Assistant Professor, Wesleyan University

PhD in Computer Science from Carnegie Mellon
CV as of April 2013


My code, papers, and talks on Homotopy Type Theory.

In Spring 2016, I am teaching functional programming and computer-checked programs and proofs.


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