Nom@TéléphoneBureauFonctionPôleÉquipe Abbes Samy @ 01 57 27 92 37 3046 Maître.sse de conférences PPS algebre Behr Nicolas @ 01 57 27 90 85 3030 Chargé.e de recherche - CNRS PPS algebre , preuves Bucciarelli Antonio @ 01 57 27 94 33 3045 Maître.sse de conférences PPS algebre , preuves Curien Pierre-Louis @ 01 57 27 92 23 3013 Directeur.rice de recherche émérite - CNRS PPS picube , algebre , preuves Douteau Sylvain @ 01 57 27 90 85 3030 Maître.sse de conférences PPS algebre , preuves Ehrhard Thomas @ 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS PPS algebre , programmes , preuves , picube Faggian Claudia @ 01 57 27 90 86 3032 Chargé.e de recherche - CNRS PPS algebre , preuves Gaucher Philippe @ 01 57 27 92 55 3049 Chargé.e de recherche - CNRS PPS algebre Geoffroy Guillaume @ 01 57 27 94 15 3019 Maître.sse de conférences PPS algebre , preuves Guatto Adrien @ 01 57 27 94 15 3019 Maître.sse de conférences PPS algebre , programmes , preuves Herbelin Hugo @ 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA PPS algebre , picube , preuves , programmes Kesner Delia @ 01 57 27 92 38 3020 Professeur.e PPS algebre , preuves Krivine Jean-Louis @ 01 57 27 90 87 3029 Professeur.e émérite PPS algebre , preuves Krivine Jean @ 01 57 27 94 41 4027 Chargé.e de recherche - CNRS PPS algebre , programmes Ledent Jeremy @ 01 57 27 92 58 3022 Maître.sse de conférences PPS , ASD algebre , distribue Manzonetto Giulio @ 01 57 27 93 54 4015 Professeur.e PPS algebre , preuves Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves , picube Métayer François @ 01 57 27 94 29 3012 Maître.sse de conférences émérite - Université Paris Nanterre PPS algebre Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférences ASV , PPS automates , algebre , picube Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférences PPS , ASV algebre , automates Ruet Paul @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS algebre , programmes Saurin Alexis @ 01 57 27 93 37 3040 Chargé.e de recherche - CNRS PPS algebre , programmes , preuves , picube Scherer Gabriel @ 4032 Chargé.e de recherche - INRIA PPS algebre , programmes , preuves , picube van Gool Sam @ 01 57 27 94 05 4011 Maître.sse de conférences ASV , PPS automates , algebre