Members

• Sidney CongardPhD Student
• Enzo CrancePhD Student
• Pierre GiraudPhD Student
• Martin BaillonPhD Student
• Hamza JaafarPhD Student
• Gaëtan GilbertResearch Engineer
• Kazuhiko SakaguchiResearch Engineer
• Koen JacobsPost-Doc
• Yannick ForsterPost-Doc
• Matthieu PiquerezPost-Doc
• 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 LafontPost-Doc in Cambridge
• Étienne MiqueyMaître de Conférences, I2M, team Logique de la Programmation
• Pierre VialPost-Doc at Inria Saclay
• Eric FinsterBirmingham
• Igor Zhirkov
• 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