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

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

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.

Past students