Dan Licata
Associate Professor of Computer Science
Exley Science Center, 633860-685-2250
Vice-Chair, Mathematics and Computer Science
BS Brown UniversityPHD 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!)
Courses
Spring 2024
COMP 212 - 01
Computer Science II
COMP 212 - 02
Computer Science II