معرفی
Daniel R. Licata is an Associate Professor at Wesleyan University and a leading researcher in type theory, category theory, and functional programming. He earned his PhD from Carnegie Mellon University in 2011 and completed a postdoctoral fellowship at the Institute for Advanced Study (2012–2013).
- Research Interests: Type theory, category theory, logic, functional programming, cost analysis, and education.
- Teaching: He frequently teaches Functional Programming and has organized programming language summer schools.
Research Trends: His work bridges homotopy type theory, directed type systems, and formal verification. Key contributions include gradual type theory, mechanized proofs in synthetic homotopy, and frameworks for substructural and modal logics. He often explores connections between type theory and computational mathematics.
Service: He has served on program committees for POPL, ICFP, and CPP. He co-organized NEPLS at Wesleyan and contributed to the Twelf Wiki and tutorial projects.
