Nom | @ | Téléphone | Bureau | Fonction | Pôle | Équipe |
Amadio Roberto | @ | 01 57 27 92 47 | 4020 | Professeur.e | PPS | systemes , preuves |
Arambillete Santiago | @ | | 3033 | Doctorant.e | PPS | preuves |
Arrial Victor | @ | | 3018 | Doctorant.e | PPS | preuves |
Baudart Guillaume | @ | | 4026 | Chargé.e de recherche - INRIA ISFP | PPS | systemes , preuves , picube |
Bauer Esaie | @ | | 3033 | Doctorant.e | PPS | preuves , picube |
Behr Nicolas | @ | 01 57 27 90 85 | 3030 | Chargé.e de recherche - CNRS | PPS | algebre , preuves |
Belloundja Abdelkader | @ | | | Stagiaire | PPS | preuves , systemes , algebre , picube |
Bernardi Giovanni | @ | 01 57 27 93 38 | 4021 | Maître.sse de conférences | ASV , PPS | verif , systemes , preuves |
Blazy Vincent | @ | | 3044 | Doctorant.e | PPS | picube , algebre , preuves |
Brasseur Leopold | @ | | | Stagiaire | PPS | algebre , systemes , preuves , picube |
Bucciarelli Antonio | @ | 01 57 27 94 33 | 3045 | Maître.sse de conférences | PPS | algebre , preuves |
Castagna Giuseppe | @ | 01 57 27 93 40 | 3039 | Directeur.rice de recherche - CNRS | PPS | preuves , systemes |
Castro Felix | @ | | 3026 | Doctorant.e | PPS | picube , algebre , systemes , preuves |
Catz Manu | @ | | 4055 | Stagiaire | PPS | preuves |
Cherradi El-Mehdi | @ | | 3044 | Doctorant.e | ASV , PPS | automates , algebre , preuves |
Curien Pierre-Louis | @ | 01 57 27 92 23 | 3013 | Directeur.rice de recherche émérite - CNRS | PPS | picube , algebre , preuves |
Danilkin Anton | @ | | | Stagiaire | PPS | systemes , picube , preuves |
De Faveri Arturo | @ | | 4033 | Doctorant.e | PPS | algebre , preuves |
Di Donna Raffaele | @ | | 3010 | Doctorant.e | PPS | algebre , preuves |
Douteau Sylvain | @ | | 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 , systemes , preuves , picube |
Faggian Claudia | @ | 01 57 27 90 86 | 3032 | Chargé.e de recherche - CNRS | PPS | algebre , preuves |
Férée Hugo | @ | 01 57 27 94 05 | 4011 | Maître.sse de conférences | PPS | systemes , preuves |
Fiorillo Guido | @ | | | Stagiaire | PPS | algebre , systemes , preuves , picube |
Gallego Emilio | @ | 01 57 27 92 24 | 4030 | Starting research position - INRIA | PPS | picube , algebre , systemes , preuves |
Geoffroy Guillaume | @ | 01 57 27 94 15 | 3019 | Maître.sse de conférences | PPS | algebre , preuves |
Giusti Giulia | @ | | 4055 | Doctorant.e | PPS | algebre , preuves |
Guatto Adrien | @ | 01 57 27 94 15 | 3019 | Maître.sse de conférences | PPS | algebre , systemes , preuves |
Herbelin Hugo | @ | 01 57 27 90 87 | 3029 | Directeur.rice de recherche - INRIA | PPS | algebre , picube , preuves , systemes |
Huang Xuejing | @ | | | Post-Doctorant.e | PPS | preuves , systemes |
Jafar-Rhamani Farzad | @ | 01 57 27 92 92 | 3026 | Post-Doctorant.e | PPS | algebre , systemes , preuves , picube |
Joly Thierry | @ | 01 57 27 92 55 | 3049 | Maître.sse de conférences | PPS | preuves |
Jubert Moana | @ | | 3034 | Doctorant.e | PPS | picube , 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 |
Lancelot Adrienne | @ | | 3026 | Doctorant.e | PPS | preuves |
Laurent Mickael | @ | | 3033 | Doctorant.e | PPS | systemes , preuves |
Letouzey Pierre | @ | 01 57 27 93 37 | 3040 | Maître.sse de conférences | PPS | picube , systemes , preuves |
Lévy Jean-Jacques | @ | 01 57 27 92 68 | 3009 | Directeur.rice de recherche émérite - INRIA | PPS | systemes , preuves , picube |
Li Rui | @ | | | Stagiaire | PPS | preuves |
Manara Giulia | @ | | 3014 | Doctorant.e | PPS | preuves |
Manzonetto Giulio | @ | 01 57 27 93 54 | 4015 | Professeur.e | PPS | algebre , preuves |
Martinez Thierry | @ | 01 57 27 90 87 | 3029 | Ingénieur.e de recherche - INRIA | PPS | preuves , picube |
Marzaioli Miriam | @ | | 4055 | Doctorant.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 |
Milicich Mariana | @ | | 3026 | Doctorant.e | PPS | algebre , preuves |
Osorio Daniel | @ | | | Stagiaire | PPS | algebre , systemes , preuves , picube |
Padovani Vincent | @ | 01 57 27 93 39 | 3045 | Maître.sse de conférences | PPS | preuves |
Pasquale Valentin | @ | | | Doctorant.e | PPS | algebre , preuves |
Peyrot Loïc | @ | 01 57 27 92 92 | 3010 | Post-Doctorant.e | PPS | algebre , preuves |
Ramos Miguel | @ | | 3033 | Doctorant.e | PPS | algebre , preuves |
Reboullet Sarah | @ | | 3034 | Doctorant.e | PPS | preuves , picube |
Rozière Paul | @ | 01 57 27 92 57 | 3057 | Retraité.e - MCF Université Paris Cité | PPS | preuves |
Salibra Antonino | @ | | | Membre associé.e | PPS | algebre , preuves |
Santamaria Marco | @ | | | Stagiaire | PPS | algebre , preuves |
Saurin Alexis | @ | 01 57 27 93 37 | 3040 | Chargé.e de recherche - CNRS | PPS | algebre , systemes , preuves , picube |
Scherer Gabriel | @ | | 4032 | Chargé.e de recherche - INRIA | PPS | algebre , systemes , preuves , picube |
Vanoni Gabriele | @ | | 3018 | Post-Doctorant.e | PPS | algebre , preuves |
Vienot Ada | @ | | 3044 | Doctorant.e | PPS | algebre , systemes , preuves |