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
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