Nom@TéléphoneBureauFonctionPôleÉquipe Ait-Moussa Djamel @ 3060 Stagiaire PPS algebre Amara Mouloud @ Stagiaire ASV verif Arambillete Santiago @ 3033 Doctorant.e PPS preuves Arana Carmen @ 3033 Doctorant.e ASD graphes Aristote Quentin @ 3010 Doctorant.e ASV , PPS automates , picube Aubian Guillaume @ 4057 ATER ASD graphes Barszezak Yoann @ 4056 ATER PPS algebre , preuves Berland Tilmann @ Stagiaire ASD distribue Bermot Elie @ 4059 Doctorant.e ASD algocomp Boutglay Wael-Amine @ 4059 ATER ASV verif Braida Arthur @ 4053 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 Visiteur.euse ASD algocomp Calandra Federico @ 3035 Doctorant.e PPS algebre 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 @ 3060 Stagiaire PPS algebre 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 Edenhofer Roman @ 4059 Doctorant.e ASD algocomp Erlich Enzo @ 3014 Doctorant.e ASV , PPS automates , algebre Experton Samuel @ 06 95 12 94 76 3034 Ingénieur d'étude ASD algocomp Gallego Emilio @ 01 57 27 92 68 4032 Starting research position - INRIA PPS algebre , preuves , picube , 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 Huang Xuejing @ 3018 Post-Doctorant.e PPS programmes , preuves Idir Olivier @ 4033 Doctorant.e ASV automates Jacobo-Inclan Bernardo @ 3035 Doctorant.e ASV verif Jubert Moana @ 3034 Doctorant.e PPS picube , algebre , preuves Karantaidou Ioanna @ 4058 Post-Doctorant.e ASD algocomp Kayal Chandrima @ 4056 Post-Doctorant.e ASD algocomp Kirst Dominik @ 4053 Post-Doctorant.e PPS preuves , picube , programmes Kniazev Roman @ 3018 ATER PPS algebre Lancelot Adrienne @ 3026 Doctorant.e PPS preuves Larroque Emile @ 3033 Doctorant.e ASV automates , verif Laversa Laetitia @ 3044 ATER ASV automates , verif Lechine Ulysse @ 3028 Post-Doctorant.e ASD algocomp Leclercq Loriane @ 3044 ATER ASV verif Lin Shijie @ 3034 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 @ 3010 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 @ 4059 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 @ 4031 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 @ 3014 Post-Doctorant.e ASD combi Nourel Astyax @ 3044 ATER PPS programmes Objois Etienne @ 3033 Doctorant.e ASD algocomp , graphes 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 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 @ 01 57 27 93 39 3045 Membre associé.e PPS algebre , preuves Salvy Zephyr @ Doctorant.e ASD combi Sellier Francois @ Doctorant.e ASD algocomp Seo Jihyuk @ 4052 Stagiaire ASD combi Serandour Antoine @ Stagiaire ASD algocomp Sevic Irina @ Stagiaire ASD algocomp , distribue Simonnet William @ Stagiaire ASD algocomp Sorondo Amalia @ 4031 Doctorant.e ASD graphes Szabo Daniel @ 4059 Doctorant.e ASD algocomp Tarantino Umberto @ 4060 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 @ 4026 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 @ 3044 Doctorant.e PPS picube Vienot Ada @ 3044 Doctorant.e PPS algebre , programmes , preuves Walch Aymeric @ 3026 Doctorant.e PPS algebre Wrigley Joshua @ 3018 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 @ 3028 Doctorant.e ASV verif Zhao Junyao @ 4053 Post-Doctorant.e ASD algocomp Zhou Huan @ 4057 Doctorant.e ASD graphes Ziccardi Isabella @ 4053 Post-Doctorant.e ASD algocomp , distribue Zur Sebastian @ 4059 Post-Doctorant.e ASD algocomp van Wijland Ernest @ 4055 Doctorant.e ASD algocomp