| Name | @ | Phone | Office | Position | Pole | Team |
| Ait-El-Manssour Rida | @ | | 4053 | Post-Doc | ASV | verif |
| Ait-Moussa Djamel | @ | | | Intern | PPS | algebre |
| Amara Mouloud | @ | | | Intern | ASV | verif |
| Arambillete Santiago | @ | | 3033 | PhD Student | PPS | preuves |
| Arana Carmen | @ | | | PhD Student | ASD | graphes |
| Aristote Quentin | @ | | 3010 | PhD Student | ASV , PPS | automates , picube |
| Arrial Victor | @ | | 3018 | PhD Student | PPS | preuves |
| Aubian Guillaume | @ | | 4057 | Teaching and Research Assistant | ASD | graphes |
| Barszezak Yoann | @ | | | Teaching and Research Assistant | PPS | preuves , algebre |
| Bauer Esaie | @ | | 3028 | PhD Student | PPS | preuves , picube |
| Berland Tilmann | @ | | | Intern | ASD | distribue |
| Bermot Elie | @ | | 4059 | PhD Student | ASD | algocomp |
| Bhushan Kaartik | @ | | | Visitor | ASD | algocomp |
| Boutglay Wael-Amine | @ | | 4059 | PhD Student | ASV | verif |
| Braida Arthur | @ | | | Post-Doc | ASD | algocomp |
| Braun Lennart | @ | | 3057 | Post-Doc | ASD | algocomp |
| Buffiere Hector | @ | | 4055 | PhD Student | ASV , ASD | automates , graphes |
| Bui Thi-Thuy-Dung | @ | | 3014 | PhD Student | ASD | algocomp |
| Calandra Federico | @ | | 3035 | PhD Student | PPS | algebre |
| Carozza Eliana | @ | | 3014 | PhD Student | ASD | algocomp |
| Catz Manuel | @ | | 4055 | PhD Student | PPS | preuves |
| Cerda Remy | @ | | 3057 | Post-Doc | PPS | algebre , preuves |
| Cherradi El-Mehdi | @ | | 4054 | PhD Student | ASV , PPS | automates , algebre , preuves |
| Chikhoune Idir | @ | | | Visitor | PPS | programmes |
| Coutereel Marie | @ | | | Intern | PPS | algebre |
| Das Avinandan | @ | | 4055 | PhD Student | ASD | algocomp , distribue |
| De Faveri Arturo | @ | | 4033 | PhD Student | PPS | algebre , preuves |
| De-Lacerda-Werneck Maria-Clara | @ | | 3033 | PhD Student | ASV , ASD | automates , combi |
| Di Donna Raffaele | @ | | 3010 | PhD Student | PPS | algebre , preuves |
| Di-Guardia Remi | @ | | 3028 | Post-Doc | PPS | algebre |
| Duboc Guillaume | @ | | 3010 | PhD Student | PPS | programmes |
| Dupre-La-Tour Max | @ | | | Visitor | ASD | algocomp |
| Edenhofer Roman | @ | | 4060 | PhD Student | ASD | algocomp |
| Erlich Enzo | @ | | 3014 | PhD Student | ASV , PPS | automates , algebre |
| Experton Samuel | @ | 06 95 12 94 76 | | Study ingenior | ASD | algocomp |
| Gallego Emilio | @ | 01 57 27 92 24 | 4030 | Starting research position - INRIA | PPS | picube , algebre , preuves , programmes |
| Gay Sylvain | @ | | | Intern | ASD | distribue |
| Gerard Romain | @ | | | Intern | ASD | combi |
| Giusti Giulia | @ | | 4055 | PhD Student | PPS | algebre , preuves |
| Guillou Lucie | @ | | 4057 | PhD Student | ASV | verif |
| Henriet Corentin | @ | | 4033 | PhD Student | ASD | combi |
| Huang Xuejing | @ | | 3018 | Post-Doc | PPS | programmes , preuves |
| Idir Olivier | @ | | 4033 | PhD Student | ASV | automates |
| Jacobo-Inclan Bernardo | @ | | 3035 | PhD Student | ASV | verif |
| Jafar-Rhamani Farzad | @ | 01 57 27 92 92 | 3026 | Post-Doc | PPS | algebre , programmes , preuves , picube |
| Jubert Moana | @ | | 3034 | PhD Student | PPS | picube , algebre , preuves |
| Karantaidou Ioanna | @ | | 4058 | Post-Doc | ASD | algocomp |
| Kayal Chandrima | @ | | | Post-Doc | ASD | algocomp |
| Kirst Dominik | @ | | 4053 | Post-Doc | PPS | preuves , picube , programmes |
| Kniazev Roman | @ | | 3018 | Teaching and Research Assistant | PPS | algebre |
| Koch Alexander | @ | | | Post-Doc | ASD | algocomp |
| Kochdumper Niklas | @ | | 3057 | Post-Doc | ASV | verif |
| Lancelot Adrienne | @ | | 3026 | PhD Student | PPS | preuves |
| Larroque Emile | @ | | | PhD Student | ASV | automates , verif |
| Laurent Mickael | @ | | 3033 | PhD Student | PPS | programmes , preuves |
| Laversa Laetitia | @ | | 3044 | Teaching and Research Assistant | ASV | automates , verif |
| Lechine Ulysse | @ | | 3028 | PhD Student | ASD | algocomp |
| Leclercq Loriane | @ | | 3044 | Teaching and Research Assistant | ASV | verif |
| Lin Shijie | @ | | | PhD Student | ASV | verif |
| Lopez Gaetan | @ | | 4059 | PhD Student | PPS | algebre |
| Manara Giulia | @ | | 3014 | PhD Student | PPS | preuves |
| Manet Hugo | @ | | 4057 | PhD Student | ASD | combi |
| Mangel Eleonore | @ | | | PhD Student | PPS | preuves |
| Manighetti Matteo | @ | | 3044 | Research ingenior | | |
| Marques Jeremie | @ | | 3028 | Post-Doc | ASV | automates |
| Martinez Thierry | @ | 01 57 27 90 87 | 3029 | Research ingenior - INRIA | PPS | preuves , picube |
| Marzaioli Miriam | @ | | 4055 | PhD Student | PPS | algebre , preuves |
| Mathieu Adrien | @ | | | Intern | PPS | preuves , picube , programmes |
| Mathieu-Bloise Benjamin | @ | | | PhD Student | ASD | algocomp |
| Melissaris Nikolas | @ | | 4058 | Post-Doc | ASD | algocomp |
| Migliaro Francesco | @ | | 4017 | Visitor | ASD | algocomp |
| Milicich Mariana | @ | | 3026 | PhD Student | PPS | algebre , preuves |
| Mollo-Cunningham Ignacio-Agustin | @ | | | Visitor | ASV | automates |
| Moreau Vincent | @ | | 4033 | PhD Student | ASV , PPS | automates , picube , algebre |
| Natansh Mathur | @ | | 4056 | PhD Student | ASD | algocomp |
| Ndiaye Yves | @ | | | Study ingenior | PPS | programmes |
| Nematollahi Shamisa | @ | | 4031 | PhD Student | ASD | algocomp |
| Nguyen Minh-Hang | @ | | 4031 | PhD Student | ASD | graphes , distribue |
| Nigussie Fufabeyene | @ | 0664769868 | 3007 | Visitor | ASD | combi |
| Notarantonio Hadrien | @ | | | Post-Doc | ASD | combi |
| Nourel Astyax | @ | | 3044 | Teaching and Research Assistant | PPS | programmes |
| Objois Etienne | @ | | 3033 | PhD Student | ASD | algocomp , graphes |
| Pasquale Valentin | @ | | | PhD Student | PPS | algebre , preuves |
| Passemard Luc | @ | | 4060 | PhD Student | ASV | automates |
| Passos-Ibiapina Allen-Roossim | @ | | 4053 | Post-Doc | ASD | graphes |
| Pouillart Lucas | @ | | | Intern | ASD | combi |
| Pu Sihang | @ | | 3057 | Post-Doc | ASD | algocomp |
| Pujol Cyril | @ | | 4060 | PhD Student | ASD | graphes |
| Quennet Titouan | @ | | 3060 | Intern | PPS | algebre , programmes |
| Rajsbaum Sergio | @ | 01 57 27 94 44 | 4048 | Associated Member | ASD | distribue |
| Ramos Miguel | @ | | 3033 | PhD Student | PPS | algebre , preuves |
| Reboullet Sarah | @ | | 3034 | PhD Student | PPS | preuves , picube |
| Regaud Gaetan | @ | | | Intern | ASV | automates |
| Renkin Florian | @ | | 3028 | Post-Doc | ASV | verif |
| Riahinia Mahshid | @ | | | Visitor | ASD | algocomp |
| Roman-Calvo Enrique | @ | | 4060 | PhD Student | ASV | verif |
| Salibra Antonino | @ | | | Associated Member | PPS | algebre , preuves |
| Salvy Zephyr | @ | | | PhD Student | ASD | combi |
| Sellier Francois | @ | | | PhD Student | ASD | algocomp |
| Seo Jihyuk | @ | | | Intern | ASD | combi |
| Serandour Antoine | @ | | | Intern | ASD | algocomp |
| Sevic Irina | @ | | | Intern | ASD | algocomp , distribue |
| Siproudhis Adrien | @ | | | Study ingenior | ASD | algocomp |
| Sorondo Amalia | @ | | 4031 | PhD Student | ASD | graphes |
| Szabo Daniel | @ | | 4059 | PhD Student | ASD | algocomp |
| Tarantino Umberto | @ | | | PhD Student | ASV , PPS | automates , algebre |
| Theron Clement | @ | | 4060 | PhD Student | PPS | algebre |
| Tokka Nicolas | @ | | 3035 | PhD Student | ASD | combi |
| Torfs Renaud | @ | | 4031 | PhD Student | ASD | graphes |
| Tudor Ivan | @ | | | Intern | ASD | algocomp |
| Vallee Brigitte | @ | 01 57 27 92 41 | 4008b | Associated Member - DR CNRS émérite | ASD | combi |
| Van Sint Jan Nicolàs | @ | 07 68 11 74 69 | 3035 | PhD Student | ASV | automates |
| Vanoni Gabriele | @ | | 3018 | Post-Doc | PPS | algebre , preuves |
| Viennot Laurent | @ | 01 57 27 92 50 | 3042a | Associated Member - Directeur de recherche INRIA | ASD | graphes , distribue |
| Viennot Jules | @ | | | PhD Student | PPS | picube |
| Vienot Ada | @ | | 3044 | PhD Student | PPS | algebre , programmes , preuves |
| Walch Aymeric | @ | | 3026 | PhD Student | PPS | algebre |
| Wrigley Joshua | @ | | | Post-Doc | ASV | automates |
| Yahi Younes | @ | | 3033 | PhD Student | ASD | combi |
| Yilmaz Deniz | @ | | 3034 | PhD Student | ASV | automates |
| Zablocki Jean | @ | | | Intern | ASV | automates |
| Zhang Maryline | @ | | 4057 | PhD Student | ASV | verif |
| Zhangeldinov Olzhas | @ | | | PhD Student | ASV | verif |
| Zhao Junyao | @ | | | Post-Doc | ASD | algocomp |
| Zhou Huan | @ | | 4057 | PhD Student | ASD | graphes |
| Ziccardi Isabella | @ | | | Post-Doc | ASD | algocomp , distribue |
| van Wijland Ernest | @ | | | PhD Student | ASD | algocomp |