ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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

DICE-FOPARA 2019Session Chair of IV (part of DICE-FOPARA)
Author of Towards a Sheaf-Theoretic Definition of Decision Problems within the DICE-FOPARA-track
Show activities from other conferences

ETAPS 2019-profile
View general profile