Name@PhoneOfficePositionPoleTeam
Abbes Samy @ 01 57 27 92 37 3046 Accueil - Maître de conférences 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 @ 01 57 27 92 52 4057 Doctorant.e ASD combi
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 , ASD algebre , systemes , preuves , compsys
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
Blot Valentin @ Post-Doctorant.e PPS algebre , preuves
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 gang , 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 @ 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 , ASD systemes , preuves , compsys
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
Kasterovic Simona @ 3055 Doctorant.e PPS preuves
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
Leventis Thomas @ ATER PPS preuves
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
Onfroy Xavier @ 3018 Stagiaire PPS systemes , 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
Phan Duc-Minh @ 3010 Stagiaire ASD compsys
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
Stietel Olivier @ 3018 Stagiaire PPS algebre
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
Wang Zhouningxin @ 3055 Doctorant.e ASD graphes
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