| Name | @ | Phone | Office | Position | Pole | Team |
| Amara Mouloud | @ | | | Intern | ASV | verif |
| Aristote Quentin | @ | | 3010 | PhD Student | ASV , PPS | automates , picube |
| Boutglay Wael-Amine | @ | | 4059 | Teaching and Research Assistant | ASV | verif |
| Buffiere Hector | @ | | 4055 | PhD Student | ASV , ASD | automates , graphes |
| Cherradi El-Mehdi | @ | | 4054 | PhD Student | ASV , PPS | automates , algebre , preuves |
| De-Lacerda-Werneck Maria-Clara | @ | | 3033 | PhD Student | ASV , ASD | automates , combi |
| Erlich Enzo | @ | | 3014 | PhD Student | ASV , PPS | automates , algebre |
| Guillou Lucie | @ | | 4057 | PhD Student | ASV | verif |
| Idir Olivier | @ | | 4033 | PhD Student | ASV | automates |
| Jacobo-Inclan Bernardo | @ | | 3035 | PhD Student | ASV | verif |
| Larroque Emile | @ | | 3033 | PhD Student | ASD , ASV | algocomp , verif |
| Laversa Laetitia | @ | | 3044 | Teaching and Research Assistant | ASV | automates , verif |
| Leclercq Loriane | @ | | 3044 | Teaching and Research Assistant | ASV | verif |
| Lin Shijie | @ | | 3034 | PhD Student | ASV | verif |
| Marques Jeremie | @ | | 3028 | Post-Doc | ASV | automates |
| Mollo-Cunningham Ignacio-Agustin | @ | | | Visitor | ASV | automates |
| Moreau Vincent | @ | | 4033 | PhD Student | ASV , PPS | automates , picube , algebre |
| Passemard Luc | @ | | 4060 | PhD Student | ASV | automates |
| Regaud Gaetan | @ | | | Intern | ASV | automates |
| Renkin Florian | @ | | 3028 | Post-Doc | ASV | verif |
| Roman-Calvo Enrique | @ | | 4060 | PhD Student | ASV | verif |
| Tarantino Umberto | @ | | 4060 | PhD Student | ASV , PPS | automates , algebre |
| Van Sint Jan Nicolàs | @ | 07 68 11 74 69 | 3035 | PhD Student | ASV | automates |
| Wrigley Joshua | @ | | 3018 | Post-Doc | ASV | automates |
| Yilmaz Deniz | @ | | 3034 | PhD Student | ASV | automates |
| Zablocki Jean | @ | | | Intern | ASV | automates |
| Zhang Maryline | @ | | 4057 | PhD Student | ASV | verif |
| Zhangeldinov Olzhas | @ | | 3028 | PhD Student | ASV | verif |