Daniel R. Licata

Assistant Professor, Wesleyan University

PhD in Computer Science from Carnegie Mellon


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

Spring 2017: Functional Programming, Algorithms

Upper-level grad students and recent PhDs, apply for the AMS Math Research Communities Workshop on Homotopy Type Theory!


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