Nom@TéléphoneBureauFonctionPôleÉquipe
Baudart Guillaume @ 01 57 27 94 01 4026 Chargé.e de recherche - INRIA ISFP PPS preuves , picube , programmes
Curien Pierre-Louis @ 01 57 27 92 23 3013 Directeur.rice de recherche émérite - CNRS PPS picube , algebre , preuves
Ehrhard Thomas @ 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS PPS algebre , programmes , preuves , picube
Herbelin Hugo @ 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA PPS algebre , picube , preuves , programmes
Letouzey Pierre @ 01 57 27 93 37 3040 Maître.sse de conférences PPS picube , programmes , preuves
Lévy Jean-Jacques @ 01 57 27 92 68 4032 Directeur.rice de recherche émérite - INRIA PPS preuves , picube , programmes
Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves , picube
Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférences ASV , PPS automates , algebre , picube
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