Daniel R. Licata

Assistant Professor, Wesleyan University

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

Highlights

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

Materials for teaching functional programming.

In Spring 2015, I am teaching COMP 212.

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