Name | @ | Phone | Office | Position | Pole | Team |
Allioux Antoine | @ | 01 57 27 92 28 | 3034 | Doctorant.e | PPS | pi.r2 , algebre , preuves |
Curien Pierre-Louis | @ | 01 57 27 92 23 | 3013 | Directeur.rice de recherche - CNRS | PPS | algebre , pi.r2 , preuves |
Finster Eric | @ | 01 57 27 94 30 | 3018 | Post-Doctorant.e | PPS | pi.r2 , algebre , systemes , preuves |
Girka Thibaut | @ | 01 57 27 92 43 | 3033 | Doctorant.e | PPS | pi.r2 , preuves , systemes |
Guiraud Yves | @ | 01 57 27 94 29 | 3012 | Chargé.e de recherche - INRIA | PPS | algebre , pi.r2 |
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 |
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 |
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 |
Mimram Samuel | @ | | | Membre associé.e | PPS | pi.r2 , algebre |
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 |
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 |
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 |