Name | @ | Phone | Office | Position | Pole | Team |
Baudart Guillaume | @ | 01 57 27 94 01 | 4026 | Research Scientist - INRIA ISFP | PPS | preuves , picube , programmes |
Bernardi Giovanni | @ | 01 57 27 94 29 | 3012 | Associate Professor | ASV , PPS | verif , preuves , programmes |
Castagna Giuseppe | @ | 01 57 27 93 40 | 3039 | Senior Research Scientist - CNRS | PPS | preuves , programmes |
Dagand Pierre-Evariste | @ | 01 57 27 94 29 | 3012 | Research Scientist - CNRS | PPS | programmes |
Ehrhard Thomas | @ | 01 57 27 92 17 | 4014a | Senior Research Scientist - CNRS | PPS | algebre , programmes , preuves , picube |
Férée Hugo | @ | 01 57 27 94 05 | 4011 | Associate Professor | PPS | programmes , preuves |
Guatto Adrien | @ | 01 57 27 94 15 | 3019 | Associate Professor | PPS | algebre , programmes , preuves |
Herbelin Hugo | @ | 01 57 27 90 87 | 3029 | Senior Research Scientist - INRIA | PPS | algebre , picube , preuves , programmes |
Krivine Jean | @ | 01 57 27 94 41 | 4027 | Research Scientist - CNRS | PPS | algebre , 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 |
Narboux Julien | @ | 01 57 27 92 58 | 3022 | Associate Professor | PPS | programmes , preuves |
Ruet Paul | @ | 01 57 27 92 48 | 3023 | Research Scientist - CNRS | PPS | algebre , programmes |
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 |
Treinen Ralf | @ | 01 57 27 92 44 | 3021 | Professor | PPS , ASV | programmes , verif |