Nom@TéléphoneBureauFonctionPôleÉquipe
Abbes Samy @ 01 57 27 92 37 3046 Maître.sse de conférence PPS algebre , systemes
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
Avci Omur @ 01 57 27 92 83 4001 Gestionnaire
Balat Vincent @ 01 57 27 92 58 3022 Maître.sse de conférence - (en disponibilité) PPS systemes
Batmalle Hadrien @ 3044 Doctorant.e PPS preuves
Behr Nicolas @ 01 57 27 92 21 4058 Post-Doctorant.e PPS , ASD algebre , systemes , preuves , compsys
Beillahi Sidi-Mohamed @ 01 57 27 94 56 4060 Doctorant.e ASV verif
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
Bonzom Valentin @ 01 57 27 94 29 3012 Membre associé.e - MCF Univ Paris 13 ASD combi
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
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
Castro Felix @ 3010 Doctorant.e PPS pi.r2 , algebre , systemes , preuves
Centrone Federico @ Doctorant.e ASD algocomp
Chapuy Guillaume @ 01 57 27 94 04 4012 Directeur.rice de recherche - CNRS ASD combi , graphes
Charbit Pierre @ 01 57 27 94 07 4032 Maître.sse de conférence ASD gang , graphes
Chardonnet Kostia @ Doctorant.e PPS preuves
Cherrat El-Amine @ Visiteur.euse ASD algocomp
Choffrut Christian @ 01 57 27 94 45 4034a Professeur.e émérite ASV automates
Chouquet Jules @ 01 57 27 90 86 3055 ATER - chouquet PPS preuves
Chroboczek Juliusz @ 01 57 27 92 37 3046 Maître.sse de conférence PPS systemes
Cirisci Berk @ 4060 Doctorant.e ASV verif
Colcombet Thomas @ 01 57 27 94 32 3042 Directeur.rice de recherche - CNRS ASV automates
Corteel Sylvie @ Directeur.rice de recherche - CNRS (en disponibilité) ASD combi
Couteau Geoffroy @ 01 57 27 92 45 3041 Chargé.e de recherche - CNRS ASD algocomp
Crescenzi Pierluigi @ 01 57 27 92 16 4008 Professeur.e ASD compsys , graphes
Crubillé Raphaëlle @ 01 57 27 92 43 3033 Visiteur.euse PPS algebre , preuves
Curien Pierre-Louis @ 01 57 27 92 23 3013 Directeur.rice de recherche émérite - CNRS PPS pi.r2 , algebre , preuves
De Abhishek @ 01 57 27 92 92 3026 Doctorant.e PPS algebre , preuves
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
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
Djuric Alen @ 3033 Doctorant.e PPS pi.r2 , algebre
Douéneau Gaëtan @ 3033 Doctorant.e ASV automates
Douvropoulos Theodosios @ 4058 Post-Doctorant.e ASD combi
Duchi Enrica @ 01 57 27 92 33 4044 Maître.sse de conférence ASD combi
Dupré Max @ 3010 Doctorant.e ASV , ASD automates , algocomp
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
Etinski Simona @ 3010 Doctorant.e ASD algocomp
Faggian Claudia @ 01 57 27 90 86 3032 Chargé.e de recherche - CNRS PPS algebre , preuves
Fauconnier Hugues @ 01 57 27 92 25 4006 Professeur.e - directeur de l'UFR informatique ASD gang , compsys
Férée Hugo @ 4011 Maître.sse de conférence PPS preuves
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 - Université Paris 8 ASV , ASD automates , combi
Galal Zeinab @ 01 57 27 90 86 3033 Doctorant.e PPS algebre , preuves
Gallego Emilio @ Starting research position - INRIA PPS 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
Gheerbrant Amelie @ 01 57 27 94 46 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 4026 Maître.sse de conférence PPS algebre , systemes , preuves
Guessarian Irène @ 01 57 27 92 59 4049 Professeur.e émérite - Sorbonne Université ASV automates , verif
Guetta Leonard @ 3055 Doctorant.e PPS algebre
Guinard Brieuc @ 4060 Doctorant.e ASD algocomp
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
Hacquart Natalia @ 01 57 27 92 49 4002 Responsable gestion financière
Hadzihasanovic Amar @ 4053 Post-Doctorant.e PPS pi.r2 , algebre , preuves
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
Jafar-Rhamani Farzad @ 01 57 27 92 92 3026 Doctorant.e PPS pi.r2 , algebre , systemes , preuves
Jeannerod Nicolas @ 01 57 27 92 22 3035 Doctorant.e avec mission d'enseignement PPS , ASV systemes , verif
Jiang Yiting @ Doctorant.e ASD graphes
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
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
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 4034 Professeur.e ASV verif
Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3033 Doctorant.e ASV , PPS automates , algebre , preuves
Légaré Sébastien @ 01 57 27 01 01 3018 Post-Doctorant.e PPS systemes
Legrandgérard Yves @ 01 57 27 92 57 3057 Informaticien.ne
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
Libkin Leonid @ 01 57 27 92 20 4048 Visiteur.euse ASV automates
Lionni Luca @ 3018 Post-Doctorant.e ASD combi
Louf Baptiste @ 4057 Doctorant.e ASD combi
Lovejoy Jeremy @ 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
Mansfield Shane @ 3010 Post-Doctorant.e ASD algocomp
Mantaci Roberto @ 01 57 27 92 62 4047 Maître.sse de conférence ASD combi
Mathieu Claire @ 01 57 27 94 39 4009 Directeur.rice de recherche - CNRS ASD algocomp
Mauras Simon @ 4031 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
Meyer Pierre @ 3044 Stagiaire ASD algocomp
Micheli Anne @ 01 57 27 94 38 4038 Maître.sse de conférence ASD combi
Mishra Suchismita @ Visiteur.euse ASD graphes
Mitsou Valia @ 01 57 27 92 21 4029a Maître.sse de conférence ASD graphes
Moeneclaey Hugo @ 3034 Doctorant.e PPS pi.r2 , algebre , systemes , preuves
Moradi Shahpoor @ Post-Doctorant.e ASD algocomp
Mutluergil Suha-Orhun @ 4030 Post-Doctorant.e ASV verif
Naserasr Reza @ 01 57 27 94 07 4032 Chargé.e de recherche - CNRS ASD graphes
Nehai Zeinab @ 4059 Doctorant.e ASV , ASD verif , compsys
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
Ohlmann Pierre @ 01 57 27 92 22 3035 Doctorant.e ASV automates
Osmond Axel @ 01 57 27 94 56 3034 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
Pellissier Luc @ 3018 Visiteur.euse PPS algebre , preuves
Perifel Sylvain @ 01 57 27 92 29 4017 Maître.sse de conférence ASV , ASD automates , algocomp
Peterfreund Liat @ 3018 Post-Doctorant.e ASV automates
Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférence ASV , PPS automates , algebre
Peyrot Loïc @ 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement PPS algebre , preuves
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 émérite - CNRS ASV automates
Planche Leo @ 4053 ATER ASD graphes
Poulalhon Dominique @ 01 57 27 94 38 4038 Maître.sse de conférence ASD combi
Pouly Amaury @ 01 57 27 94 00 4016 Chargé.e de recherche - CNRS ASV automates
Prakash Anupam @ 4058 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
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 @ 01 57 27 90 86 3032 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
Schmitz Sylvain @ 01 57 27 92 16 3048 Professeur.e ASV automates , verif
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 Chargé.e de recherche - CNRS ASV verif
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 - 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
Stietel Olivier @ 4031 Doctorant.e ASV verif
Sunny Anupa @ Doctorant.e ASD algocomp
Szilagyi Daniel @ 4055 Doctorant.e ASD algocomp
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
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
Van-Gool Sam @ 01 57 27 94 05 4011 Maître.sse de conférence ASV automates
Viennot Laurent @ 01 57 27 92 50 3016 Directeur.rice de recherche - INRIA ASD gang , compsys , graphes
Vouillon Jérôme @ Chargé.e de recherche - CNRS (en disponibilité) PPS systemes
Walsh Harriet @ 4057 Doctorant.e ASD combi
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
Yu Weiqiang @ 4060 Doctorant.e ASD graphes
Yunès Jean-Baptiste @ ASV automates
Zacchiroli Stefano @ 01 57 27 94 15 3019 Maître.sse de conférence PPS systemes
Zennou Rachid @ 01 57 27 92 21 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 21 4029a Maître.sse de conférence - fm ASD gang , compsys , graphes
de Rauglaudre Daniel @ 01 57 27 90 86 3030 Ingénieur de recherche PPS pi.r2 , systemes , preuves