| Name | @ | Phone | Office | Position | Pole | Team |
| Aristote Quentin | @ | | 3010 | PhD Student | ASV , PPS | automates , picube |
| Gallego Emilio | @ | 01 57 27 92 68 | 4032 | Starting research position - INRIA | PPS | algebre , preuves , picube , programmes |
| Jubert Moana | @ | | 3034 | PhD Student | PPS | picube , algebre , preuves |
| Kirst Dominik | @ | | 4053 | Post-Doc | 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 |
| Moreau Vincent | @ | | 4033 | PhD Student | ASV , PPS | automates , picube , algebre |
| Reboullet Sarah | @ | | 3034 | PhD Student | PPS | preuves , picube |
| Viennot Jules | @ | | 3044 | PhD Student | PPS | picube |