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.

Come to NEPLS at Wesleyan on Wednesday, June 3rd.

Materials for teaching functional programming.

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