Registered user since Fri 17 Jun 2016
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).
|LAFI 2020||Backpropagation in the Simply Typed Lambda-calculus with Linear Negation|
|POPL 2020||Backpropagation in the Simply Typed Lambda-calculus with Linear Negation|
|Show activities from other conferences|
View general profile