Name | @ | Phone | Office | Position | Pole | Team |
Aristote Quentin | @ | | 3010 | PhD Student | ASV , PPS | automates , picube |
Baudart Guillaume | @ | | 4026 | Research Scientist - INRIA ISFP | PPS | picube , preuves , programmes |
Bauer Esaie | @ | | 3028 | PhD Student | PPS | preuves , picube |
Curien Pierre-Louis | @ | 01 57 27 92 23 | 3013 | Senior Research Scientist Emeritus - CNRS | PPS | picube , algebre , preuves |
Ehrhard Thomas | @ | 01 57 27 92 17 | 4014a | Senior Research Scientist - CNRS | PPS | algebre , programmes , preuves , picube |
Gallego Emilio | @ | 01 57 27 92 24 | 4030 | Starting research position - INRIA | PPS | picube , algebre , preuves , programmes |
Herbelin Hugo | @ | 01 57 27 90 87 | 3029 | Senior Research Scientist - INRIA | PPS | algebre , picube , preuves , programmes |
Jafar-Rhamani Farzad | @ | 01 57 27 92 92 | 3026 | Post-Doc | PPS | algebre , programmes , preuves , picube |
Jubert Moana | @ | | 3034 | PhD Student | PPS | picube , algebre , preuves |
Kirst Dominik | @ | | 4053 | Post-Doc | PPS | preuves , picube , programmes |
Letouzey Pierre | @ | 01 57 27 93 37 | 3040 | Associate Professor | PPS | picube , programmes , preuves |
Lévy Jean-Jacques | @ | 01 57 27 92 68 | 4032 | Senior Research Scientist Emeritus - INRIA | PPS | preuves , picube , programmes |
Martinez Thierry | @ | 01 57 27 90 87 | 3029 | Research ingenior - INRIA | PPS | preuves , picube |
Mathieu Adrien | @ | | | Intern | PPS | preuves , picube , programmes |
Melliès Paul-André | @ | 01 57 27 92 48 | 3023 | Senior Research Scientist - CNRS | ASV , PPS | automates , algebre , preuves , picube |
Moreau Vincent | @ | | 4033 | PhD Student | ASV , PPS | automates , picube , algebre |
Petrisan Daniela | @ | 01 57 27 94 00 | 4016 | Associate Professor | ASV , PPS | automates , algebre , picube |
Reboullet Sarah | @ | | 3034 | PhD Student | PPS | preuves , picube |
Saurin Alexis | @ | 01 57 27 93 37 | 3040 | Research Scientist - CNRS | PPS | algebre , programmes , preuves , picube |
Scherer Gabriel | @ | | 4032 | Research Scientist - INRIA | PPS | algebre , programmes , preuves , picube |
Viennot Jules | @ | | | PhD Student | PPS | picube |