Home

Students

Current PhD students

Clara Bourgeais
PhD candidate (2024-...), on security by construction using compilers. Coadvised with Bruno Ferres (Verimag, Grenoble)

Loup Lobet
PhD candidate (2025...), on langage construction and efficient vectorizing compilation of text processing programs. Coadvised with Charles Paperman (Cristal, Lille)

Frédéric Tran-Minh
PhD candidate (2023-...), on the usage of Lean for teaching the notion of proof. Coadvised with Julien Narboux (IRIF, Paris)

Past PhD students

Sébastien Michelland
PhD (2022-2025), on securising compilers. Coadvised with Christophe Deleuze (LCIS, Valence). Manuscript on HAL. He is the main developer of Tracing LLVM.

Thaïs Baudon
PhD (2021-2024) on efficient compilation of Algebraic datatypes. Coadvised with Gabriel Radanne (LIP, Lyon). Manuscript on HAL. Her research is implemented in ribbit ADT compiler.

Julien Braine
PhD (2018-2022) on program abstractions for linear data structures. Coadvised with David Monniaux. His research was implemented in VAPHOR. Manuscript

Paul Iannetta
PhD (2018-2022) on efficient compilation of programs with trees. Coadvised with Lionel Morel (CITI, Lyon) and Gabriel Radanne (LIP, Lyon).
Manuscript on HAL.

Maroua Maalej
PhD (2014-2017) on sparse static analyses of programs with pointers. Coadvised with Frédéric Vivien (LIP, Lyon). Manuscript