Permanent Members
Christophe Alias
Researcher at Inria.
Keywords: compilation, high-level synthesis, polyhedral model.
Home page: http://perso.ens-lyon.fr/christophe.alias/, List of publications
Aurèle Barrière
Researcher at CNRS.
Keywords: formal verification, compilation, regular expressions, Rocq.
Home page: https://aurele-barriere.github.io, List of publications
Cyril Cohen
Researcher at Inria.
Keywords: proof assistants, type theory, Rocq, formalization of mathematics, mathcomp.
Home page: http://cyrilcohen.fr, List of publications
Ludovic Henrio (team co-leader)
Researcher at CNRS.
Keywords: programming languages, actors, semantics, concurrency and distribution, objects, components, futures.
Home page: https://lhenrio.github.io/, List of publications
Sébastien Michelland
Assistant professor at ENS de Lyon.
Keywords: security, hardware, compilation.
Home page: TBA, List of publications,
Matthieu Moy (team co-leader)
Assistant professor at UCBL (Lyon 1).
Keywords: hardware simulation, compilation, many-core, dataflow languages, formal verification, digital frugality.
Home page: https://matthieu-moy.fr, List of publications.
Alexandre Moine
Researcher at Inria.
Keywords: formal verification, compilation, programming languages, Rocq.
Home page: https://alexandremoine.fr, List of publications
Gabriel Radanne
Researcher at Inria.
Keywords: programming languages, type systems, meta-programming
Home page: https://gabriel.radanne.net/, List of publications.
Associated Member
Filippo Alberto Edoardo
Nuccio Mortarino Majno di Capriglio
Assistant professor at Université Jean Monnet Saint-Étienne CNRS UMR 5208, Institut Camille Jordan et IUT.
Délégation 2025-2026 at Inria.
Keywords: formalization of mathematics, number theory, mathlib, Lean
Home page: https://perso.univ-st-etienne.fr/nf51454h/index_eng.html
Yannick Zakowski
Researcher at Inria.
Keywords: semantics, verified compilation, proof assistants, Rocq.
Home page: https://cambium.inria.fr/~yzakowsk/
Laure Gonnord
Professor at Professor at Grenoble INP & Verimag Lab
Keywords: abstract interpretation, compilation.
Home page: http://laure.gonnord.org/pro/, List of publications
Post doc
None at the moment.
Ph.D Students
- Alec Sadler (2023-) webpage
- Emma Nardino (2024-) webpage
- Étienne Parent (2025-) webpage
- Vivien Gachet (2025-)
- Gregoire Aubertin (2025-)
- Vincent Mastain (2025-)
- Samy Avrillon (2025-)
Administrative staff
Élise Denoyelle
Inria.
Past Post-doc:
- Bruno FERRES (2022-2023) webpage
- Emmanuel Arrighi (2023-2024) webpage
- Théo Stoskopf (2024-2026) webpage
- Cécile Marcon (2026)