Researchers Bruno Barras (INRIA) [office 3S61] Frédéric Blanqui (INRIA) [office 3U61] Gilles Dowek (INRIA) [office 3S60] Théo Winterhalter (INRIA) [office 3S61] Catherine Dubois (ENSIIE) [office 3S60]
PhD students Nicolas Margulies (ENS Paris-Saclay) [office 3S62] Melanie Taprogge (University Paris-Saclay) [office 3S64] Thomas Traversié (CentraleSupélec) [office 3S62] Rishikesh Vaishnav (INRIA) [office 3S64]