conf.researchr.org / Michele Pagani
Michele Pagani

Registered user since Wed 20 Jan 2016

Name:Michele Pagani
Country:France
Affiliation:IRIF - Université de Paris
Personal website:https://www.irif.fr/~michele/
Research interests:Linear Logic and Lambda-calculus, Functional Programming, Probabilistic and Differentiable Programming, Deep Learning

Contributions

POPL 2023 Committee Member in Program Committee within the POPL-track
POPL 2021 Author of Automatic Differentiation in PCF within the POPL-track
LAFI 2020 Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the LAFI (né PPS)-track
POPL 2020 Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track
FOSSACS 2019 Author of Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces within the FOSSACS 2019-track
PPS 2018 Author of Stable, measurable functions and probabilistic programs within the PPS 2018-track
POPL 2018 Author of Measurable cones and stable, measurable functions within the Research Papers-track
POPL 2017 Committee Member in Program Committee within the POPL-track
Session Chair of Quantum (part of POPL)