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 (LMFI 2024/2025 and MPRI 2025/2026 at 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)
… and member of several internship jurys at Ecole Normale Supérieure de Lyon and Université Paris Cité (L3, M1, M2)

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