Nom@TéléphoneBureauFonctionPôleÉquipe
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
Aksenov Vitaly @ Doctorant.e ASD compsys
Aler Andrea @ 3018 Post-Doctorant.e PPS preuves
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 systemes , preuves
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 4058 Post-Doctorant.e PPS , ASD algebre , systemes , preuves , compsys
Beillahi Sidi-Mohamed @ 4060 Doctorant.e ASV verif
Bergougnoux Benjamin @ 4053 ATER ASD graphes
Berline Chantal @ Retraité.e - CR CNRS 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 @ 01 57 27 94 56 4060 Doctorant.e ASV verif
Blanchard Nicolas @ 3010 Doctorant.e ASD compsys , graphes
Blot Valentin @ 3044 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
Bucciarelli Antonio @ 01 57 27 94 33 3045 Maître.sse de conférence PPS algebre , preuves
Burroni Albert @ Retraité.e - MCF Paris Diderot PPS algebre
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 94 04 4012 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
Crescenzi Pierluigi @ 01 57 27 92 16 3048 Professeur.e ASD compsys , graphes
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
Curzi Gianluca @ Doctorant.e PPS algebre , preuves
De Abhishek @ Doctorant.e PPS preuves , algebre
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 - PR Univ Caen émérite 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
Di Cosmo Roberto @ 01 57 27 92 20 4048 Professeur.e - (en détachement à l'INRIA) PPS systemes
Dolce Francesco @ 4053 ATER ASV , ASD automates , combi
Douvropoulos Theodosios @ 3044 Post-Doctorant.e ASD combi
Dovgal Sergey @ 3010 Doctorant.e ASD combi
Duchi Enrica @ 01 57 27 92 33 4044 Maître.sse de conférence ASD combi
Durand Fabian @ 01 57 27 92 41 4008b Membre associé.e - PR Univ Picardie ASV automates
Ehrhard Thomas @ 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS PPS algebre , systemes , preuves
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 algebre , preuves
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
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 94 00 4016 Membre associé.e - MCF Univ Artois 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 3033 Doctorant.e PPS algebre , preuves
Gaucher Philippe @ 01 57 27 92 55 3049 Chargé.e de recherche - CNRS PPS algebre , systemes
Gehrke Mai @ Membre associé.e - DR CNRS ASV automates
Gerard Ulysse @ 0604061587 3044 ATER PPS preuves
Gheerbrant Amelie @ 4039 Maître.sse de conférence ASV automates
Grigorieff Serge @ 01 57 27 94 41 4027 Professeur.e émérite ASV automates
Guatto Adrien @ 01 57 27 94 01 4021 Maître.sse de conférence PPS algebre , systemes , preuves
Guessarian Irène @ 01 57 27 92 59 4049 Professeur.e émérite ASV automates , verif
Guetta Leonard @ 3055 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 émérite ASD gang , compsys , graphes
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 @ 3033 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 @ 4057 Post-Doctorant.e ASV verif
Joly Thierry @ 01 57 27 92 55 3049 Maître.sse de conférence PPS preuves
Josuat-Verges Matthieu @ 01 57 27 92 41 4008b Membre associé.e - CR CNRS 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
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
Landman Jonas @ 4059 Doctorant.e ASD 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 3033 Doctorant.e ASV , PPS automates , algebre , preuves
Legrandgérard Yves @ 01 57 27 92 57 3057 Informaticien.ne
Leivant Daniel @ Membre associé.e - PR Indiana University PPS 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
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 - MCF Univ Lyon PPS pi.r2 , algebre
Mallet Etienne @ 01 57 27 94 11 4001 Gestionnaire
Mantaci Roberto @ 01 57 27 92 62 4047 Maître.sse de conférence ASD combi
Marzouk Cyril @ 4058 Post-Doctorant.e ASD combi
Mathieu Claire @ 01 57 27 94 39 4009 Directeur.rice de recherche - CNRS ASD algocomp
Mauras Simon @ Doctorant.e ASD algocomp
Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , 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 4038 Maître.sse de conférence ASD combi
Mimram Samuel @ Membre associé.e - MCF Polytechnique PPS pi.r2 , algebre
Mitsou Valia @ 4053 ATER ASD graphes
Mutluergil Suha-Orhun @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif
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
Nunge Arthur @ 4055 ATER ASD combi
Ohlmann Pierre @ 0667368318 3035 Doctorant.e ASV automates
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 compsys , algocomp
Pellissier Luc @ Post-Doctorant.e PPS algebre , preuves
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 - (en disponibilité) ASV verif
Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférence 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 @ 4053 ATER ASD graphes
Pommellet Adrien @ 01 57 27 92 27 4052 ATER ASV verif
Poulalhon Dominique @ 01 57 27 94 38 4038 Maître.sse de conférence ASD combi
Prakash Anupam @ Post-Doctorant.e ASD algocomp
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
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
Ryckelynck Eva @ 01 57 27 92 74 4003 Responsable administratif
Sakarovitch Jacques @ 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 pi.r2 , algebre , systemes , preuves
Schabanel Nicolas @ 01 57 27 92 41 4008b Membre associé.e - DR CNRS 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
Shirmohammadi Mahsa @ 01 57 27 92 29 4017 Membre associé.e - CR CNRS ASV verif
Sighireanu Mihaela @ 01 57 27 94 01 4021 Maître.sse de conférence ASV verif
Singh Alex @ Visiteur.euse ASD algocomp
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 - EURL Tweag 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
Sunny Anupa @ Doctorant.e ASD algocomp
Tasson Christine @ 01 57 27 93 37 3040 Maître.sse de conférence PPS algebre , preuves , systemes
Thepenier Florence @ 01 57 27 92 49 4002 Responsable gestion financière
Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV systemes , verif
Valiron Benoit @ Membre associé.e - MCF Supelec PPS algebre , systemes , preuves
Vallee Brigitte @ 01 57 27 92 41 4008b Membre associé.e - DR CNRS émérite ASD combi
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 @ 4031 Doctorant.e ASD graphes
Xiao David @ Chargé.e de recherche - CNRS (en disponibilité) ASD algocomp
Xu Rongxing @ 4057 Doctorant.e ASD graphes
Yassawi Reem @ 01 57 27 92 59 4049 Membre associé.e - Univ Lyon ASV automates
Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférence ASV automates
Zacchiroli Stefano @ 01 57 27 94 15 3019 Maître.sse de conférence PPS systemes
Zennou Rachid @ 0753716448 4058 Doctorant.e ASV verif
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
Zou Mengchuan @ 4057 Doctorant.e ASD gang , compsys , graphes
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