Members

• Tomás VallejosPhD Student
• Sidney CongardPhD Student
• Thomas LamiauxPhD Student
• Hamza JaafarPhD Student
• Josselin PoiretPhD Student
• Yann LerayPhD Student
• Martin BaillonResearch Engineer
• Gaëtan GilbertResearch Engineer
• Kazuhiko SakaguchiResearch Engineer
• Koen JacobsPost-Doc
• Matthieu PiquerezPost-Doc
• Valentin BlotPermanent researcher
• Julien CohenPermanent researcher
• Rémi DouencePermanent researcher
• Guilhem JaberPermanent researcher
• Assia MahboubiPermanent researcher
• Kenji MaillardPermanent researcher
• Guillaume Munch-MaccagnoniPermanent researcher
• Pierre-Marie PédrotPermanent researcher
• Matthieu SozeauPermanent researcher
• Nicolas TabareauPermanent researcher

Past members

• Théo WinterhalterChargé de Recherche, LMF, Deducteam
• Simon Boulier
• Marie KerjeanCNRS researcher at LIPN
• Maxime LucasPost-Doc at LIPN
• Ambroise LafontAssistant professor at Ecole Polytechnique
• Étienne MiqueyMaître de Conférences, I2M, team Logique de la Programmation
• Pierre VialPost-Doc at Inria Saclay
• Eric FinsterBirmingham
• Igor ZhirkovMatter Labs
• Kevin QuirinMathematics Teacher
• Benedikt AhrensBirmingham Fellow
• Danil AnnenkovPost-Doc in Aarhus
• Chris HughesResearch Assistant in Edinburgh
• Meven BertrandPost-Doc in Cambridge
• Loïc PujetPost-Doc in Stockholm
• Xavier MontilletOCaml developer at Marigold
• Enzo CranceEngineer at Elhub
• Yannick Forsterteam Cambium in Paris
• Pierre Giraud