Dan Licata -

Registered user since Sat 23 Jul 2016

Name:Dan Licata

Bio:

I am an assistant professor at Wesleyan University. I received my PhD from Carnegie Mellon University in 2011, and was a postdoc at the Institute for Advanced Study in 2012-2013.

Country:United States

Affiliation:Wesleyan University

Personal website:http://dlicata.web.wesleyan.edu

Research interests:type theory, category theory, logic, functional programming, cost analysis, education

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track
ICFP 2022	Author of Denotational semantics as a foundation for cost recurrence extraction for functional languages within the ICFP Papers and Events-track
SPLASH 2021	Author of Denotational Recurrence Extraction for Amortized Analysis within the SIGPLAN Papers-track
ICFP 2020	Author of Denotational Recurrence Extraction for Amortized Analysis within the ICFP Program-track
TyDe 2020	Committee Member in Program Committee within the TyDe 2020-track
POPL 2020	Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
POPL 2019	Author of Gradual Type Theory within the Research Papers-track
CPP 2019	Committee Member in Program Committee within the CPP 2019-track
ICFP 2018	PLMW Co-Chair in Organizing Committee
PLMW @ ICFP 2018	Co-chair in Organizing Committee within the PLMW @ ICFP 2018-track
PLMW 2017	Author of Welcome within the PLMW 2017-track Committee Member in Organizing Committee within the PLMW 2017-track
ICFP 2017	Committee Member in Program Committee within the Research Papers-track PLMW Co-Chair in Organizing Committee Session Chair of Dependently Typed Programming (part of Research Papers)
FSCD 2017	Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track
ICFP 2016	Committee Member in External Review Committee within the Research Papers-track Keynote Speaker of A Functional Programmer's Guide to Homotopy Type Theory within the Keynote Talks-track
PLMW 2016	Author of Introduction to Dependent Types within the PLMW-track Committee Member in Speakers within the PLMW-track
CPP 2016	Committee Member in Program Committee within the CPP-track