Nom@TéléphoneBureauFonctionPôleÉquipe Chikhoune Idir @ Visiteur.euse PPS programmes Duboc Guillaume @ 3010 Doctorant.e PPS programmes Gallego Emilio @ 01 57 27 92 68 4032 Starting research position - INRIA PPS algebre , preuves , picube , programmes Huang Xuejing @ 3018 Post-Doctorant.e PPS programmes , preuves Kirst Dominik @ 4053 Post-Doctorant.e PPS preuves , picube , programmes Mathieu Adrien @ Stagiaire PPS preuves , picube , programmes Ndiaye Yves @ 4031 Ingénieur d'étude PPS programmes Nourel Astyax @ 3044 ATER PPS programmes Quennet Titouan @ 3060 Stagiaire PPS algebre , programmes Vienot Ada @ 3044 Doctorant.e PPS algebre , programmes , preuves