Christophe Alias
Researcher at Inria.
Keywords: compilation, high-level synthesis, polyhedral model.
Home page: http://perso.ens-lyon.fr/christophe.alias/, List of publications
Ludovic Henrio
Researcher at CNRS.
Keywords: programming languages, actors, semantics, concurrency and distribution, objects, components, futures.
Home page: https://lhenrio.github.io/, List of publications
Matthieu Moy (team leader)
Assistant professor at UCBL (Lyon 1).
Keywords: hardware simulation, compilation, many-core, dataflow languages, formal verification.
Home page: https://matthieu-moy.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.
Yannick Zakowski
Researcher at Inria.
Keywords: semantics, verified compilation, proof assistants, Coq.
Home page: https://perso.ens-lyon.fr/yannick.zakowski/
Associated Member
Laure Gonnord
Professor at LCIS laboratory and Esisar.
Keywords: abstract interpretation, compilation.
Home page: http://laure.gonnord.org/pro/, List of publications
Post doc
- Bruno FERRES (2022-) webpage
Ph.D Students
- Julien Emmanuel (2019-) webpage
- Amaury Maillé (2019-) webpage
- Nicolas Chappe (2021-)
- Hugo
- Thaïs Baudon (2021-) webpage
Administrative staff
Solène Audoux
Inria.