About me
I am a PhD student at the Institut de Recherche en Informatique Fondamentale (IRIF ), since october 2022,
under the supervision of Arnaud Sangnier (DIBRIS ) and
Nathalie Sznajder (LIP6 ). I am currently involved in the ANR project PaVeDyS .
My research field is Verification of parameterized distributed systems.
Research
▼
Publications
my DBLP page
Conferences
Phase-Bounded Broadcast Networks over Topologies of Communication.
LG, Arnaud Sangnier, Nathalie Sznajder. CONCUR 2024.
[arxiv ]
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
LG, Arnaud Sangnier, Nathalie Sznajder. Petri Nets 2024. Best Paper Award.
[arxiv ]
[slides ]
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
LG, Arnaud Sangnier, Nathalie Sznajder. CONCUR 2023.
[pdf ]
[arxiv (long version) ] [slides ]
Parameterized Analysis of Reconfigurable Broadcast Networks.
A.R. Balasubramanian, LG, Chana Weil-Kennedy. FoSSaCS 2022.
[arxiv ]
[Erratum ]
Consensus-Free Ledgers When Operations of Distinct Processes are Commutative.
Davide Frey, LG, Michel Raynal, François Taïani. PaCT 2021.
[hal ]
Teaching
▼
2024-2025
Initiation à la Programmation (Python) - TP - L1 Maths
Initiation à la Programmation 2 (Java) - TD - L1 Info
Projet de Programmation - TP - L2 Info
2023-2024
Initiation à la Programmation (Python) - TP - L1 Maths
Automates et Analyse Lexicale - TD & TP - L2 Info
2022-2023
Concepts Informatiques - TD - L1 Info
Langage C - TP - L2 Info
