| Name | @ | Phone | Office | Position | Pole | Team |
| Baudart Guillaume | @ | | 4026 | Research Scientist - INRIA ISFP | PPS | picube , preuves , programmes |
| 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 |
| Herbelin Hugo | @ | 01 57 27 90 87 | 3029 | Senior Research Scientist - INRIA | PPS | algebre , picube , preuves , 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 |
| Melliès Paul-André | @ | 01 57 27 92 48 | 3023 | Senior Research Scientist - CNRS | ASV , PPS | automates , algebre , preuves , picube |
| Petrisan Daniela | @ | 01 57 27 94 00 | 4016 | Associate Professor | ASV , PPS | automates , algebre , 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 |