Members Name@PhoneOfficePositionPoleTeam Abbes Samy @ 01 57 27 92 37 3046 Maître.sse de conférence PPS algebre , systemes Ahmadi Laifa @ 01 57 27 92 46 4008a Informaticien.ne Ainardi Odile @ 01 57 27 92 74 4002 Responsable administratif Aksenov Vitaly @ Doctorant.e ASD compsys Aler Andrea @ 3018 Post-Doctorant.e Allioux Antoine @ 01 57 27 92 28 3034 Doctorant.e PPS pi.r2 , algebre , preuves Amadio Roberto @ 01 57 27 92 47 4020 Professeur.e PPS preuves , systemes Andriambolamalala Ny-Aina @ 07 77 88 30 79 4057 Doctorant.e ASD combi , algocomp Asarin Eugène @ 01 57 27 92 34 4040 Professeur.e ASV verif Balat Vincent @ 01 57 27 92 58 3022 Maître.sse de conférence - (en disponibilité) PPS systemes Barenbaum Pablo @ 01 57 27 92 92 3026 Doctorant.e PPS algebre , preuves Batmalle Hadrien @ 01 57 27 92 43 3033 Doctorant.e PPS preuves Behr Nicolas @ 01 57 27 92 21 4029a Post-Doctorant.e PPS algebre , systemes Beillahi Sidi-Mohamed @ 4060 Doctorant.e ASV verif Berline Chantal @ Membre associé.e PPS preuves Bernardi Giovanni @ 01 57 27 93 38 4026 Maître.sse de conférence PPS , ASV preuves , systemes , verif Berthé Valérie @ 01 57 27 93 35 4014 Directeur.rice de recherche - CNRS ASV , ASD automates , combi Biswas Ranadeep @ 4060 Doctorant.e ASV verif Blanchard Nicolas @ 4001 Doctorant.e ASD compsys , graphes Boczkowski Lucas @ 4055 Doctorant.e ASD algocomp Bouajjani Ahmed @ 01 57 27 92 64 4023 Professeur.e ASV verif Boufkhad Yacine @ 01 57 27 94 05 4011 Maître.sse de conférence ASD compsys , gang Bouillaguet Quentin @ 4021 Doctorant.e ASV verif Boutier Matthieu @ 01 57 27 92 43 3033 Doctorant.e PPS systemes Bredariol-Grilo Alex @ 4059 Doctorant.e ASD algocomp Bucciarelli Antonio @ 01 57 27 94 33 3045 Maître.sse de conférence PPS algebre , preuves Burroni Albert @ Membre associé.e PPS algebre CRESCENZI Pierluigi @ Membre associé.e ASD compsys , graphes Cagne Pierre @ 01 57 27 92 92 3044 Doctorant.e avec mission d'enseignement PPS algebre , preuves Camara Dieneba @ 01 57 27 94 08 4001 Gestionnaire Carton Olivier @ 01 57 27 92 54 4037 Professeur.e ASV automates Castagna Giuseppe @ 01 57 27 93 40 3039 Directeur.rice de recherche - CNRS PPS preuves , systemes Cauderlier Raphael @ 4058 Post-Doctorant.e ASV verif Cecchi Paulina @ 3026 Doctorant.e ASV , ASD automates , combi Chapuy Guillaume @ 01 57 27 92 49 4038 Chargé.e de recherche - CNRS ASD combi , graphes Charbit Pierre @ 0157279224 4030 Maître.sse de conférence ASD gang , graphes Choffrut Christian @ 01 57 27 92 26 4034 Professeur.e émérite ASV automates Chouquet Jules @ 01 57 27 90 86 3032 Doctorant.e PPS preuves Chroboczek Juliusz @ 01 57 27 92 37 3046 Maître.sse de conférence PPS systemes Colcombet Thomas @ 01 57 27 94 32 3042 Directeur.rice de recherche - CNRS ASV automates Collet Simon @ 3010 Doctorant.e ASD algocomp , compsys , gang Corteel Sylvie @ 4012 Directeur.rice de recherche - CNRS ASD combi Crubillé Raphaëlle @ 01 57 27 92 43 3033 Doctorant.e PPS algebre , preuves Curien Pierre-Louis @ 01 57 27 92 23 3013 Directeur.rice de recherche - CNRS PPS algebre , pi.r2 , preuves DUCHI Enrica @ 01 57 27 92 33 4044 Maître.sse de conférence ASD combi De-Rougemont Michel @ 01 57 27 94 48 4041 Professeur.e - Université Paris 2 ASD algocomp Degorre Aldric @ 01 57 27 92 32 4018 Maître.sse de conférence ASV verif Dehornoy Patrick @ 01 57 27 92 55 3049 Membre associé.e PPS algebre Delbianco German-Andres @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif Delcroix-Oger Berenice @ 01 57 27 92 45 3041 Maître.sse de conférence PPS , ASD algebre , combi Delporte Carole @ 01 57 27 92 25 4006 Professeur.e - directrice adjointe UFR informatique ASD gang , compsys Dervieux Clement @ 01 57 27 92 52 4057 Doctorant.e ASD combi Di Cosmo Roberto @ 01 57 27 92 20 4048 Professeur.e PPS systemes Douvropoulos Theodosios @ 3044 Post-Doctorant.e ASD combi Dovgal Sergey @ Doctorant.e ASD combi Ehrhard Thomas @ 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS PPS algebre , preuves , systemes Enea Constantin @ 01 57 27 92 41 4028a Maître.sse de conférence ASV verif Faggian Claudia @ 01 57 27 92 55 3049 Chargé.e de recherche - CNRS PPS preuves , systemes , algebre Fang Bin @ 07 68 79 02 80 4061 Doctorant.e ASV verif Fauconnier Hugues @ 01 57 27 92 25 4006 Professeur.e - directeur de l'UFR informatique ASD compsys Feuilloley Laurent @ 3010 Doctorant.e ASD compsys , gang , graphes Fijalkow Nathanael @ Membre associé.e ASV automates Finster Eric @ 01 57 27 94 30 3018 Post-Doctorant.e PPS pi.r2 , algebre , systemes , preuves Forest Simon @ Doctorant.e PPS algebre Fraigniaud Pierre @ 01 57 27 92 60 4019 Directeur.rice de recherche - CNRS ASD algocomp , compsys , gang Frégier Yaël @ 01 57 27 92 41 4008b Membre associé.e PPS algebre Frougny Christiane @ 01 57 27 94 41 4027 Professeur.e émérite ASV , ASD automates , combi Galal Zeinab @ 01 57 27 90 86 3032 Doctorant.e PPS algebre , preuves Gaucher Philippe @ 01 57 27 92 16 3048 Chargé.e de recherche - CNRS PPS algebre , systemes Gehrke Mai @ Membre associé.e - DR CNRS ASV automates Gheerbrant Amelie @ 4039 Maître.sse de conférence ASV automates Girka Thibaut @ 01 57 27 92 43 3033 Doctorant.e PPS pi.r2 , preuves , systemes Grigorieff Serge @ 4027 Membre associé.e ASV automates Guessarian Irène @ 01 57 27 92 59 4049 Professeur.e émérite ASV automates , verif Guetta Leonard @ 01 57 27 90 86 3032 Doctorant.e PPS algebre Guinard Brieuc @ 4060 Doctorant.e ASD algocomp Guiraud Yves @ 01 57 27 94 29 3012 Chargé.e de recherche - INRIA PPS algebre , pi.r2 Habermehl Peter @ 01 57 27 92 58 3022 Maître.sse de conférence ASV automates , verif Habib Michel @ 01 57 27 94 42 3042a Professeur.e ASD gang , compsys , graphes Hamdaoui Yann @ 01 57 27 92 92 3026 Doctorant.e PPS preuves , systemes Hamoudi Yassine @ 4031 Doctorant.e ASD algocomp Herbelin Hugo @ 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA PPS algebre , pi.r2 , preuves , systemes Ho Thanh Cédric @ 01 57 27 90 86 3032 Doctorant.e avec mission d'enseignement PPS pi.r2 , algebre , preuves Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , verif Husson Adrien @ 01 57 27 92 22 3035 Doctorant.e PPS systemes , preuves Jacq Clément @ 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement PPS algebre , preuves Jeannerod Nicolas @ 01 57 27 92 22 3035 Doctorant.e avec mission d'enseignement PPS , ASV systemes , verif Ji Kailiang @ 01 57 27 92 60 4057 Post-Doctorant.e ASV verif Joly Thierry @ 01 57 27 90 88 3007 Maître.sse de conférence PPS preuves Josuat-Verges Matthieu @ 01 57 27 94 04 4012 Membre associé.e ASD combi KUMAR Niraj @ 4031 Doctorant.e ASD algocomp Kempe Julia @ Directeur.rice de recherche - CNRS (en disponibilité) ASD algocomp Kerenidis Iordanis @ 01 57 27 92 63 4025 Directeur.rice de recherche - CNRS ASD algocomp Kerjean Marie @ 01 57 27 94 16 3044 Doctorant.e avec mission d'enseignement PPS algebre , preuves Kesner Delia @ 01 57 27 92 38 3020 Professeur.e PPS algebre , preuves Klimann Ines @ 01 57 27 94 49 4043 Maître.sse de conférence ASV automates Konan Isaac @ 4059 Doctorant.e avec mission d'enseignement ASD combi Korman Amos @ 01 57 27 94 06 4028 Directeur.rice de recherche - CNRS ASD compsys , algocomp Kosowski Adrian @ 4011 Chargé.e de recherche - INRIA ASD gang , compsys Krivine Jean-Louis @ 01 57 27 92 39 3008 Professeur.e émérite PPS algebre , preuves Krivine Jean @ 01 57 27 93 38 4026 Chargé.e de recherche - CNRS ASD , PPS compsys , preuves , systemes Kuoy Houy @ 01 57 27 92 19 3054 Informaticien.ne Lagarde Guillaume @ 01 57 27 92 31 4055 Doctorant.e ASV , ASD automates , algocomp Lanvin Victor @ 01 57 27 92 22 3035 Doctorant.e PPS preuves , systemes Laplante Sophie @ 01 57 27 94 47 4040a Professeur.e ASD algocomp Laroussinie François @ 01 57 27 92 42 4004 Professeur.e ASV verif Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3034 Doctorant.e ASV , PPS automates , algebre , preuves Legrandgérard Yves @ 01 57 27 92 57 3057 Informaticien.ne PPS systemes , preuves Leivant Daniel @ Membre associé.e PPS algebre , preuves Letouzey Pierre @ 01 57 27 90 84 3028 Maître.sse de conférence PPS pi.r2 , preuves , systemes Lévy Jean-Jacques @ 01 57 27 92 68 3009 Directeur.rice de recherche émérite - INRIA PPS pi.r2 , preuves , systemes Long Teng @ 01 57 27 92 60 4054 Maître.sse de conférence ASV verif Louf Baptiste @ 4057 Doctorant.e ASD combi Lovejoy Jeremy @ 01 57 27 92 49 4038 Chargé.e de recherche - CNRS ASD combi Luongo Alessandro @ 4059 Doctorant.e ASD algocomp Magniez Frédéric @ 01 57 27 94 02 4005 Directeur.rice de recherche - CNRS ASD algocomp Malbos Philippe @ 01 57 27 94 29 3012 Membre associé.e PPS pi.r2 , algebre Mallet Etienne @ 01 57 27 94 11 4001 Gestionnaire Mangin Cyprien @ 01 57 27 92 28 3034 Doctorant.e PPS algebre , pi.r2 , preuves , systemes Mantaci Roberto @ 01 57 27 92 62 4047 Maître.sse de conférence ASD combi Mathieu Claire @ 01 57 27 94 39 4009 Membre associé.e - DR CNRS ASD algocomp Melliès Paul-André @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS , ASV algebre , automates , preuves Métayer François @ 01 57 27 94 29 3012 Maître.sse de conférence PPS algebre Micheli Anne @ 01 57 27 94 38 4003 Maître.sse de conférence ASD combi Mimram Samuel @ Membre associé.e PPS pi.r2 , algebre Mitsou Valia @ 4059 ATER ASD graphes NASERASR Reza @ 01 57 27 92 24 4030 Chargé.e de recherche - CNRS ASD graphes Nolin Alexandre @ 01 57 27 92 31 4055 Doctorant.e avec mission d'enseignement ASD algocomp Nollet Remi @ 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement PPS algebre , preuves Osmond Axel @ 01 57 27 94 56 4060 Doctorant.e ASV , PPS automates , algebre , preuves Padovani Vincent @ 01 57 27 93 39 3045 Maître.sse de conférence PPS preuves Pagani Michele @ 01 57 27 92 56 4015 Professeur.e PPS algebre , preuves Parigot Michel @ 01 57 27 92 51 3047 Chargé.e de recherche - CNRS PPS preuves Paz Ami @ 3010 Post-Doctorant.e ASD algocomp , compsys Perifel Sylvain @ 01 57 27 92 29 4017 Maître.sse de conférence ASV , ASD automates , algocomp Petri Gustavo @ 01 57 27 94 01 4021 Maître.sse de conférence ASV verif Petrisan Daniela @ 01 57 27 92 21 4029a Membre associé.e - Post-Doctorante ASV automates Petrucciani Tommaso @ 01 57 27 92 22 3035 Doctorant.e PPS preuves , systemes Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférence PPS , ASV algebre , automates Pin Jean-Éric @ 01 57 27 92 18 4007 Directeur.rice de recherche - CNRS ASV automates Planche Leo @ 4018 Doctorant.e ASD graphes Pommellet Adrien @ 01 57 27 92 27 4052 ATER ASV verif Poulalhon Dominique @ 01 57 27 94 38 4003 Maître.sse de conférence ASD combi Prakash Anupam @ Post-Doctorant.e ASD algocomp Rajsbaum Sergio @ Visiteur.euse ASD compsys Ravelomanana Vlady @ 01 57 27 94 44 3025 Professeur.e ASD combi , graphes Régis-Gianas Yann @ 01 57 27 90 84 3028 Maître.sse de conférence PPS pi.r2 , preuves , systemes Rivas Exequiel @ 01 57 27 94 30 3018 Post-Doctorant.e PPS pi.r2 , algebre , systemes , preuves Rosén Adi @ 01 57 27 94 40 4013 Directeur.rice de recherche - CNRS ASD algocomp Rotondo Pablo @ 4053 Doctorant.e ASV , ASD automates , combi Rozière Paul @ 01 57 27 92 57 3057 Maître.sse de conférence PPS preuves Ruet Paul @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS algebre , systemes Sakarovitch Jacques @ 01 57 27 92 60 4054 Directeur.rice de recherche émérite - CNRS ASV automates Sangnier Arnaud @ 01 57 27 92 58 3022 Maître.sse de conférence ASV verif Santha Miklos @ 01 57 27 94 03 4024 Directeur.rice de recherche - CNRS ASD algocomp Saurin Alexis @ 01 57 27 93 37 3040 Chargé.e de recherche - CNRS PPS algebre , pi.r2 , preuves , systemes Schabanel Nicolas @ 01 57 27 92 41 4008b Membre associé.e - Associé à l'IRIF ASD compsys , graphes Serre Olivier @ 01 57 27 94 18 4029 Directeur.rice de recherche - CNRS ASV automates Shen Yixin @ 4031 Doctorant.e ASD algocomp Sighireanu Mihaela @ 01 57 27 94 01 4021 Maître.sse de conférence ASV verif Sirangelo Cristina @ 01 57 27 92 35 4042 Professeur.e ASV automates Sozeau Matthieu @ 01 57 27 94 15 3019 Chargé.e de recherche - INRIA PPS algebre , pi.r2 , preuves , systemes Spiwack Arnaud @ Membre associé.e PPS pi.r2 , algebre , preuves Stefanesco Leo @ 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement PPS algebre , preuves Steiner Wolfgang @ 01 57 27 92 33 4044 Chargé.e de recherche - CNRS ASV , ASD automates , combi Tasson Christine @ 01 57 27 93 37 3040 Maître.sse de conférence PPS algebre , preuves , systemes Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV systemes , verif Urrutia Florent @ 4057 Doctorant.e ASD algocomp Valiron Benoit @ Membre associé.e PPS algebre , preuves , systemes Vallee Brigitte @ 4017 Membre associé.e ASD combi Vassalo Jean @ 01 57 27 92 43 3033 Stagiaire PPS algebre Viennot Laurent @ 01 57 27 92 50 3016 Directeur.rice de recherche - INRIA ASD gang , compsys , graphes Vimont Guillaume @ 4041 Doctorant.e ASD algocomp Vouillon Jérôme @ 01 57 27 92 58 3022 Chargé.e de recherche - CNRS (en disponibilité) PPS systemes Wang Chao @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif Xiao David @ Chargé.e de recherche - CNRS (en disponibilité) ASD algocomp Yassawi Reem @ 01 57 27 92 59 4049 Membre associé.e ASV automates Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférence ASV automates ZOU Mengchuan @ 4057 Doctorant.e ASD gang , compsys , graphes Zacchiroli Stefano @ 01 57 27 94 15 3019 Maître.sse de conférence PPS systemes Zetzsche Georg @ 01 57 27 94 07 4032 Post-Doctorant.e ASV automates Zielonka Wiesław @ 01 57 27 94 51 3015 Professeur.e ASV automates Zimmermann Theo @ 01 57 27 92 28 3034 Doctorant.e PPS pi.r2 , systemes , preuves de Montgolfier Fabien @ 01 57 27 92 32 4018 Maître.sse de conférence ASD gang , compsys , graphes de Rauglaudre Daniel @ 01 57 27 90 86 3030 Informaticien.ne PPS pi.r2 , preuves , systemes