Name | @ | Phone | Office | Position | Pole | Team |
Behr Nicolas | @ | 01 57 27 90 85 | 3030 | Research Scientist - CNRS | PPS | algebre , preuves |
Belloundja Abdelkader | @ | | | Intern | PPS | preuves , systemes , algebre , picube |
Blazy Vincent | @ | | 3044 | PhD Student | PPS | picube , algebre , preuves |
Bouniard Yoan | @ | | | Intern | PPS | algebre |
Brasseur Leopold | @ | | | Intern | PPS | algebre , systemes , preuves , picube |
Bucciarelli Antonio | @ | 01 57 27 94 33 | 3045 | Associate Professor | PPS | algebre , preuves |
Castro Felix | @ | | 3026 | PhD Student | PPS | picube , algebre , systemes , preuves |
Cherradi El-Mehdi | @ | | 3044 | PhD Student | ASV , PPS | automates , algebre , preuves |
Curien Pierre-Louis | @ | 01 57 27 92 23 | 3013 | Senior Research Scientist Emeritus - CNRS | PPS | picube , algebre , preuves |
De Faveri Arturo | @ | | 4033 | PhD Student | PPS | algebre , preuves |
Di Donna Raffaele | @ | | 3010 | PhD Student | PPS | algebre , preuves |
Djuric Alen | @ | | 3033 | Post-Doc | PPS | algebre , picube |
Douteau Sylvain | @ | | 3030 | Associate Professor | PPS | algebre , preuves |
Ehrhard Thomas | @ | 01 57 27 92 17 | 4014a | Senior Research Scientist - CNRS | PPS | algebre , systemes , preuves , picube |
Erlich Enzo | @ | | | Intern | ASV , PPS | verif , algebre |
Faggian Claudia | @ | 01 57 27 90 86 | 3032 | Research Scientist - CNRS | PPS | algebre , preuves |
Fiorillo Guido | @ | | | Intern | PPS | algebre , systemes , preuves , picube |
Gallego Emilio | @ | 01 57 27 92 24 | 4030 | Starting research position - INRIA | PPS | picube , algebre , systemes , preuves |
Gaucher Philippe | @ | 01 57 27 92 55 | 3049 | Research Scientist - CNRS | PPS | algebre |
Geoffroy Guillaume | @ | 01 57 27 94 15 | 3019 | Associate Professor | PPS | algebre , preuves |
Giusti Giulia | @ | | 4055 | PhD Student | PPS | algebre , preuves |
Guatto Adrien | @ | 01 57 27 94 15 | 3019 | Associate Professor | PPS | algebre , systemes , preuves |
Herbelin Hugo | @ | 01 57 27 90 87 | 3029 | Senior Research Scientist - INRIA | PPS | algebre , picube , preuves , systemes |
Jafar-Rhamani Farzad | @ | 01 57 27 92 92 | 3026 | Post-Doc | PPS | algebre , systemes , preuves , picube |
Jubert Moana | @ | | 3034 | PhD Student | PPS | picube , algebre , preuves |
Kesner Delia | @ | 01 57 27 92 38 | 3020 | Professor | PPS | algebre , preuves |
Kniazev Roman | @ | | 3018 | Teaching and Research Assistant | PPS | algebre |
Krivine Jean-Louis | @ | 01 57 27 92 39 | 3008 | Professor Emeritus | PPS | algebre , preuves |
Ledent Jeremy | @ | | 3022 | Associate Professor | PPS | algebre |
Lopez Gaetan | @ | | | Intern | PPS | algebre |
Manzonetto Giulio | @ | 01 57 27 93 54 | 4015 | Professor | PPS | algebre , preuves |
Marzaioli Miriam | @ | | 4055 | PhD Student | PPS | algebre , preuves |
Melliès Paul-André | @ | 01 57 27 92 48 | 3023 | Senior Research Scientist - CNRS | ASV , PPS | automates , algebre , preuves , picube |
Métayer François | @ | 01 57 27 94 29 | 3012 | Associate Professor Emeritus - Université Paris Nanterre | PPS | algebre |
Milicich Mariana | @ | | 3026 | PhD Student | PPS | algebre , preuves |
Moreau Vincent | @ | | 4033 | PhD Student | ASV , PPS | automates , picube , algebre |
Osorio Daniel | @ | | | Intern | PPS | algebre , systemes , preuves , picube |
Pasquale Valentin | @ | | | PhD Student | PPS | algebre , preuves |
Petrisan Daniela | @ | 01 57 27 94 00 | 4016 | Associate Professor | ASV , PPS | automates , algebre , picube |
Peyrot Loïc | @ | 01 57 27 92 92 | 3010 | Post-Doc | PPS | algebre , preuves |
Picantin Matthieu | @ | 01 57 27 94 49 | 4043 | Associate Professor | PPS , ASV | algebre , automates |
Ramos Miguel | @ | | 3033 | PhD Student | PPS | algebre , preuves |
Ruet Paul | @ | 01 57 27 92 48 | 3023 | Research Scientist - CNRS | PPS | algebre , systemes |
Salibra Antonino | @ | | | Associated Member | PPS | algebre , preuves |
Santamaria Marco | @ | | | Intern | PPS | algebre , preuves |
Saurin Alexis | @ | 01 57 27 93 37 | 3040 | Research Scientist - CNRS | PPS | algebre , systemes , preuves , picube |
Scherer Gabriel | @ | | 4032 | Research Scientist - INRIA | PPS | algebre , systemes , preuves , picube |
Theron Clement | @ | | 4060 | PhD Student | PPS | algebre |
Vanoni Gabriele | @ | | 3018 | Post-Doc | PPS | algebre , preuves |
Vienot Ada | @ | | 3044 | PhD Student | PPS | algebre , systemes , preuves |
Walch Aymeric | @ | | 3026 | PhD Student | PPS | algebre |
van Gool Sam | @ | 01 57 27 94 05 | 4011 | Associate Professor | ASV , PPS | automates , algebre |