| Name | @ | Phone | Office | Position | Pole | Team |
| Chikhoune Idir | @ | | | Visitor | PPS | programmes |
| Duboc Guillaume | @ | | 3010 | PhD Student | PPS | programmes |
| Gallego Emilio | @ | 01 57 27 92 68 | 4032 | Starting research position - INRIA | PPS | algebre , preuves , picube , programmes |
| Huang Xuejing | @ | | 3018 | Post-Doc | PPS | programmes , preuves |
| Kirst Dominik | @ | | 4053 | Post-Doc | PPS | preuves , picube , programmes |
| Mathieu Adrien | @ | | | Intern | PPS | preuves , picube , programmes |
| Ndiaye Yves | @ | | 4031 | Study ingenior | PPS | programmes |
| Nourel Astyax | @ | | 3044 | Teaching and Research Assistant | PPS | programmes |
| Quennet Titouan | @ | | 3060 | Intern | PPS | algebre , programmes |
| Vienot Ada | @ | | 3044 | PhD Student | PPS | algebre , programmes , preuves |