Rémi DI GUARDIA
I am a PhD student in theoretical computer science at Ecole Normale Supérieure de Lyon in the Laboratoire de l'Informatique du Parallélisme (LIP), in the Plume team.
My PhD is supervised by Olivier Laurent and is focused on Linear Logic and in particular its proof-net syntax.
CV: English, Français
E-mail: remi \dot di-guardia \at ens-lyon \dot fr
Office: M7 311
Publications
Software Development
-
Formalisation of the Proof-Nets of Multiplicative Linear Logic in Coq, available here
Talks
-
Retractions for Multiplicative Linear Logic, Journées 2023 du GT Scalp, Orléans, 29 November 2023.
[
Slides
]
-
Type Isomorphisms for Multiplicative-Additive Linear Logic, FSCD 2023, Rome, 4 July 2023.
[
cf. Publications
]
-
Sequentialization is as fun as bungee jumping, TLLA 2023, Rome, 1 July 2023.
[
cf. Publications
]
-
Proof theory and linear logic, PhD student's seminar of LIP, Lyon, 27 June 2023.
[
Slides
]
-
A simple proof of sequentialization for MLL proof nets, Groupe de travail of Plume, Lyon, 15 May 2023.
-
Type isomorphisms for Multiplicative-Additive Linear Logic, Groupe de travail of Plume, Lyon, 10 October 2022 & 7 November 2022.
-
Bottom-Up Sequentialization of Unit-Free MALL Proof Nets, Linearity - TLLA 2022, Haifa, 31 July 2022.
[
cf. Publications
]
Teaching