Wesleyan portrait of Dan  Licata

Dan Licata

Associate Professor of Computer Science

Exley Science Center, 633

Vice-Chair, Mathematics and Computer Science


Visit Professional Website

BS Brown University
PHD Carnegie Mellon University

Dan Licata

Dan Licata works on programming languages, functional programming, type theory (especially homotopy type theory), logic, and category theory.

Academic Affiliations

Office Hours

By appointment (send me an email!)


Spring 2023
COMP 212 - 01
Computer Science II

COMP 212 - 02
Computer Science II