Daniel Licata is an Associate Professor of Computer Science at Wesleyan University. His research interests lie in the areas of programming languages, type theory, category theory, and homotopy type theory. Prior to joining Wesleyan University, he was a postdoctoral fellow at the Institute for Advanced Study and a member of the Univalent Foundations program. Licata completed his Ph.D. in Computer Science from Carnegie Mellon University, where his dissertation focused on dependent types and their applications. He has been recognized for his teaching excellence with several awards and is known for his ability to make complex topics accessible to students. Besides teaching and research, Licata has also contributed significantly to the development of software systems related to type theory, such as [[Agda]] and Epigram. Additionally, he was part of a team that developed [[Homotopy Type Theory]], a new foundation for mathematics with intrinsic geometric content. Licata frequently publishes in leading computer science journals and conferences. He has also served on program committees for various international conferences in the field of programming languages and type theory. Please note that information might have changed as this data is accurate up until the time of writing. # References ```dataview Table title as Title, authors as Authors where contains(authors, "Dan Licata" ) or contains(publisher, "Dan Licata" ) sort modified desc, subject, title ```