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