Damiano Mazza -

Registered user since Fri 17 Jun 2016

Name:Damiano Mazza

Bio:

I am chargé de recherche (resarcher) at CNRS, working at the Laboratoire d’Informatique de Paris Nord, Université Paris 13. I’ve held this position since 2008. Previously, I was post-doc at Preuves, Programmes et Systèmes and at LIPN. I did my Ph.D. thesis (which I defended in 2006) at the Institut de Mathématiques de Luminy, in Marseille. Before that, I studied CS Engineering in Rome, Italy (which is where I am from).

Country:France

Affiliation:CNRS

Personal website:http://lipn.univ-paris13.fr/~mazza

Research interests:Linear logic, computational complexity, semantics, models of concurrency

Contributions

LAFI 2022	Session Chair of Invited talks (part of LAFI) Invited Speaker of Programming Languages for Automatic Differentiation: What Now? within the LAFI-track
POPL 2021	Author of Automatic Differentiation in PCF within the POPL-track
POPL 2020	Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track
LAFI 2020	Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the LAFI (né PPS)-track
DICE-FOPARA 2019	Session Chair of IV (part of DICE-FOPARA) Author of Towards a Sheaf-Theoretic Definition of Decision Problems within the DICE-FOPARA-track
POPL 2019	Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track
POPL 2018	Author of Polyadic Approximations, Fibrations and Intersection Types within the Research Papers-track
POPL 2017	ERC member in External Review Committee within the POPL-track
Off the Beaten Track 2016	Author of Affine Functional Programs as Higher-order Boolean Circuits within the Off the Beaten Track-track