Members

Christophe Alias

Researcher at Inria.
Keywords: high-level synthesis, polyhedral model, compilation.
Home page: http://perso.ens-lyon.fr/christophe.alias/, List of publications

Laure Gonnord

Assistant professor at UCBL (Lyon 1).
Keywords: abstract interpretation, compilation.
Home page: http://laure.gonnord.org/pro/, 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.

Lætitia Lecot

Administrative staff, Inria.
Home page: http://perso.ens-lyon.fr/laetitia.lecot/.