Rémi Di Guardia

Teaching

2025
- I presented a proof of sequentialization for proof-nets of multiplicative linear logic during two lectures of Claudia Faggian for LMFI 2024/2025 and MPRI 2025/2026 (Université Paris Cité).
  [ Slides ]
2023 - 2024
- Architecture des ordinateurs, lectured by Sylvain Brandel (L2 at Université Claude Bernard Lyon 1)
- Logique, lectured by Natacha Portier (L3 at Ecole Normale Supérieure de Lyon)
2022 - 2023
- Compilation and Program Analysis, lectured by Gabriel Radanne and Ludovic Henrio (M1 at Ecole Normale Supérieure de Lyon)
- Functional Project, lectured by Daniel Hirschkoff (L3 at Ecole Normale Supérieure de Lyon)
2021 - 2022
- Compilation and Program Analysis, lectured by Gabriel Radanne and Ludovic Henrio (M1 at Ecole Normale Supérieure de Lyon)
- Functional Project, lectured by Daniel Hirschkoff (L3 at Ecole Normale Supérieure de Lyon)

Co-Organizer of the Journées PPS 2026 along with Gabriel Scherer, Hugo Herbelin, Nicolas Behr and Nuria Brede
Artifact Reviewer for POPL 2026