Name@PhoneOfficePositionPoleTeam Abbes Samy @ 01 57 27 92 37 3046 Maître.sse de conférence PPS algebre , systemes Aler Andrea @ 3018 Post-Doctorant.e PPS preuves Allioux Antoine @ 01 57 27 92 28 3034 Doctorant.e PPS pi.r2 , algebre , preuves Amadio Roberto @ 01 57 27 92 47 4020 Professeur.e PPS systemes , preuves Balat Vincent @ 01 57 27 92 58 3022 Maître.sse de conférence - (en disponibilité) PPS systemes Barenbaum Pablo @ 01 57 27 92 92 3026 Doctorant.e PPS algebre , preuves Batmalle Hadrien @ 01 57 27 92 43 3033 Doctorant.e PPS preuves Behr Nicolas @ 01 57 27 92 21 4029a Post-Doctorant.e PPS , ASD algebre , systemes , preuves , compsys Berline Chantal @ Membre associé.e PPS preuves Bernardi Giovanni @ 01 57 27 93 38 4026 Maître.sse de conférence PPS , ASV preuves , systemes , verif Blot Valentin @ Post-Doctorant.e PPS algebre , preuves Boutier Matthieu @ 01 57 27 92 43 3033 Doctorant.e PPS systemes Bucciarelli Antonio @ 01 57 27 94 33 3045 Maître.sse de conférence PPS algebre , preuves Burroni Albert @ Membre associé.e PPS algebre Cagne Pierre @ 01 57 27 92 92 3044 Doctorant.e avec mission d'enseignement PPS algebre , preuves Castagna Giuseppe @ 01 57 27 93 40 3039 Directeur.rice de recherche - CNRS PPS preuves , systemes Chouquet Jules @ 01 57 27 90 86 3032 Doctorant.e PPS preuves Chroboczek Juliusz @ 01 57 27 92 37 3046 Maître.sse de conférence PPS systemes Crubillé Raphaëlle @ 01 57 27 92 43 3033 Doctorant.e PPS algebre , preuves Curien Pierre-Louis @ 01 57 27 92 23 3013 Directeur.rice de recherche - CNRS PPS algebre , pi.r2 , preuves Dehornoy Patrick @ 01 57 27 92 55 3049 Membre associé.e PPS algebre Delcroix-Oger Berenice @ 01 57 27 92 45 3041 Maître.sse de conférence PPS , ASD algebre , combi Di Cosmo Roberto @ 01 57 27 92 20 4048 Professeur.e - (en détachement à l'INRIA) PPS systemes Ehrhard Thomas @ 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS PPS algebre , systemes , preuves Faggian Claudia @ 01 57 27 92 55 3049 Chargé.e de recherche - CNRS PPS algebre , preuves Finster Eric @ 01 57 27 94 30 3018 Post-Doctorant.e PPS pi.r2 , algebre , systemes , preuves Forest Simon @ Doctorant.e PPS algebre Frégier Yaël @ 01 57 27 92 41 4008b Membre associé.e PPS algebre Galal Zeinab @ 01 57 27 90 86 3032 Doctorant.e PPS algebre , preuves Gaucher Philippe @ 01 57 27 92 16 3048 Chargé.e de recherche - CNRS PPS algebre , systemes Gerard Ulysse @ 0604061587 3044 ATER PPS preuves Girka Thibaut @ 01 57 27 92 43 3033 Doctorant.e PPS pi.r2 , preuves , systemes Guatto Adrien @ 01 57 27 94 01 4021 Maître.sse de conférence PPS algebre , systemes , preuves Guetta Leonard @ 01 57 27 90 86 3032 Doctorant.e PPS algebre Guiraud Yves @ 01 57 27 94 29 3012 Chargé.e de recherche - INRIA PPS algebre , pi.r2 Hamdaoui Yann @ 01 57 27 92 92 3026 Doctorant.e PPS preuves , systemes Herbelin Hugo @ 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA PPS algebre , pi.r2 , preuves , systemes Ho Thanh Cédric @ 3032 Doctorant.e avec mission d'enseignement PPS pi.r2 , algebre , preuves Husson Adrien @ 01 57 27 92 22 3035 Doctorant.e PPS , ASD systemes , preuves , compsys Jacq Clément @ 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement PPS algebre , preuves Jeannerod Nicolas @ 01 57 27 92 22 3035 Doctorant.e avec mission d'enseignement PPS , ASV systemes , verif Joly Thierry @ 01 57 27 90 88 3007 Maître.sse de conférence PPS preuves Kasterovic Simona @ 3055 Doctorant.e PPS preuves Kerjean Marie @ 01 57 27 94 16 3044 Doctorant.e avec mission d'enseignement PPS algebre , preuves Kesner Delia @ 01 57 27 92 38 3020 Professeur.e PPS algebre , preuves Krivine Jean-Louis @ 01 57 27 92 39 3008 Professeur.e émérite PPS algebre , preuves Krivine Jean @ 01 57 27 93 38 4026 Chargé.e de recherche - CNRS ASD , PPS compsys , preuves , systemes Lanvin Victor @ 01 57 27 92 22 3035 Doctorant.e PPS preuves , systemes Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3034 Doctorant.e ASV , PPS automates , algebre , preuves Leivant Daniel @ Membre associé.e PPS preuves Letouzey Pierre @ 01 57 27 90 84 3028 Maître.sse de conférence PPS pi.r2 , preuves , systemes Leventis Thomas @ ATER PPS preuves Lévy Jean-Jacques @ 01 57 27 92 68 3009 Directeur.rice de recherche émérite - INRIA PPS pi.r2 , preuves , systemes Malbos Philippe @ 01 57 27 94 29 3012 Membre associé.e PPS pi.r2 , algebre Mangin Cyprien @ 01 57 27 92 28 3034 Doctorant.e PPS algebre , pi.r2 , preuves , systemes Melliès Paul-André @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS , ASV algebre , automates , preuves Métayer François @ 01 57 27 94 29 3012 Maître.sse de conférence PPS algebre Mimram Samuel @ Membre associé.e PPS pi.r2 , algebre Nollet Remi @ 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement PPS algebre , preuves Osmond Axel @ 01 57 27 94 56 4060 Doctorant.e ASV , PPS automates , algebre , preuves Padovani Vincent @ 01 57 27 93 39 3045 Maître.sse de conférence PPS preuves Pagani Michele @ 01 57 27 92 56 4015 Professeur.e PPS algebre , preuves Parigot Michel @ 01 57 27 92 51 3047 Chargé.e de recherche - CNRS PPS preuves Petrucciani Tommaso @ 01 57 27 92 22 3035 Doctorant.e PPS preuves , systemes Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférence PPS , ASV algebre , automates Régis-Gianas Yann @ 01 57 27 90 84 3028 Maître.sse de conférence PPS pi.r2 , preuves , systemes Rivas Exequiel @ 01 57 27 94 30 3018 Post-Doctorant.e PPS pi.r2 , algebre , systemes , preuves Rozière Paul @ 01 57 27 92 57 3057 Maître.sse de conférence PPS preuves Ruet Paul @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS algebre , systemes Saurin Alexis @ 01 57 27 93 37 3040 Chargé.e de recherche - CNRS PPS pi.r2 , algebre , systemes , preuves Sozeau Matthieu @ 01 57 27 94 15 3019 Chargé.e de recherche - INRIA PPS algebre , pi.r2 , preuves , systemes Spiwack Arnaud @ Membre associé.e PPS pi.r2 , algebre , preuves Stefanesco Leo @ 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement PPS algebre , preuves Tasson Christine @ 01 57 27 93 37 3040 Maître.sse de conférence PPS algebre , preuves , systemes Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV systemes , verif Valiron Benoit @ Membre associé.e PPS algebre , preuves , systemes Vouillon Jérôme @ 01 57 27 92 58 3022 Chargé.e de recherche - CNRS (en disponibilité) PPS systemes Zacchiroli Stefano @ 01 57 27 94 15 3019 Maître.sse de conférence PPS systemes Zimmermann Theo @ 01 57 27 92 28 3034 Doctorant.e PPS pi.r2 , systemes , preuves de Rauglaudre Daniel @ 01 57 27 90 86 3030 Informaticien.ne PPS pi.r2 , preuves , systemes