Name | @ | Phone | Office | Position | Pole | Team |
Abbes Samy | @ | 01 57 27 92 37 | 3046 | Maître.sse de conférence | PPS | algebre , systemes |
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 |
Behr Nicolas | @ | 01 57 27 92 21 | 4029a | Post-Doctorant.e | PPS , ASD | algebre , systemes , preuves , compsys |
Bernardi Giovanni | @ | 01 57 27 93 38 | 4026 | Maître.sse de conférence | PPS , ASV | preuves , systemes , verif |
Boutier Matthieu | @ | 01 57 27 92 43 | 3033 | Doctorant.e | PPS | systemes |
Castagna Giuseppe | @ | 01 57 27 93 40 | 3039 | Directeur.rice de recherche - CNRS | PPS | preuves , systemes |
Chroboczek Juliusz | @ | 01 57 27 92 37 | 3046 | Maître.sse de conférence | PPS | systemes |
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 |
Finster Eric | @ | 01 57 27 94 30 | 3018 | Post-Doctorant.e | PPS | pi.r2 , algebre , systemes , preuves |
Gaucher Philippe | @ | 01 57 27 92 16 | 3048 | Chargé.e de recherche - CNRS | PPS | algebre , systemes |
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 |
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 |
Husson Adrien | @ | 01 57 27 92 22 | 3035 | Doctorant.e | PPS , ASD | systemes , preuves , compsys |
Jeannerod Nicolas | @ | 01 57 27 92 22 | 3035 | Doctorant.e avec mission d'enseignement | PPS , ASV | systemes , verif |
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 |
Letouzey Pierre | @ | 01 57 27 90 84 | 3028 | Maître.sse de conférence | PPS | pi.r2 , preuves , systemes |
Lévy Jean-Jacques | @ | 01 57 27 92 68 | 3009 | Directeur.rice de recherche émérite - INRIA | PPS | pi.r2 , preuves , systemes |
Mangin Cyprien | @ | 01 57 27 92 28 | 3034 | Doctorant.e | PPS | algebre , pi.r2 , preuves , systemes |
Petrucciani Tommaso | @ | 01 57 27 92 22 | 3035 | Doctorant.e | PPS | preuves , systemes |
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 |
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 |
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 |