Anciens Membres Permanents
Anciens doctorants
|
Anciens Visiteurs
- Micaela Mayero
(délégation de l'université Paris Nord, 2023-2025)
publications
- Florent Hivert
(délégation de l'université Paris Saclay, 2024-2025)
- Raphaël Rieu-Helft (Partially on leave from TrustInSoft company)
- Thibault Hilaire, Associate Professor, Université Pierre et Marie Curie [Delegation]
- Benjamin Farinier, PhD Student, Université de Grenoble [ATER position]
- Cláudio Belo Lourenço, PhD student, Universidade do Minho, Portugal
- Ran Chen, PhD student, Institute of Software, Chinese Academy of Sciences, Beijing, China
publications
- Andrew Tolmach, Digiteo Chair & Portland State University, USA
- Pierre Courtieu,
Cedric/CNAM
- Daisuke Ishii, Tokyo Institute of Technology, Japan
- Bárbara Vieira, Universidade do Minho, Portugal
- Nuno Gaspar, Universidade da Beira Interior, Portugal
Anciens Post-docs et ingénieurs
- Noé Canva
(Engineer position, 2025-2026)
publications
- Matteo Manighetti
(Post-Doc Engineer position, 2023-2025)
publications
- Paul Bonnot
(Engineer position, 2022-2024)
publications
- Solène Moreau
(Post-Doc Engineer position, 2022-2023)
- Yacine El Haddad
(Post-Doc Engineer position, 2022)
- Benedikt
Becker (Post-Doc Engineer position, 2021)
publications
- Guillaume
Cluzel (Engineer position)
- Cláudio Lourenço (Post-Doc Engineer position)
publications
- Sylvain Dailler (Post-Doc Engineer position, ProofInUse project)
publications
- Rehan Malak (Engineer Position)
- Florian Steinberg (Post-Doc, FastRelax project)
- Clément Fumex (Post-Doc Engineer position, ProofInUse project)
- David Hauzar (Post-Doc Engineer position, ProofInUse project)
- Michaël Marcozzi (Post-Doc position)
- Hyeonseung Im
- Érik Martin-Dorel
- Pierre Roux
- Denis Cousineau
- Cody Roux (publications)
- David Baelde (publications)
- Kalyan Krishnamani (publications)
- Evgeny Makarov
- Ali Ayad
- Yann Régis-Gianas
- Nicolas Stouls
- Jean-François Couchot
|