Daniel R. Licata

Assistant Professor, Wesleyan University

PhD in Computer Science from Carnegie Mellon


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