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