Name | @ | Phone | Office | Position | Pole | Team |
Abbes Samy | @ | 01 57 27 92 37 | 3046 | Associate Professor | PPS | systemes |
Abou-Samra Jean | @ | 07 82 52 98 36 | | Intern | ASV | automates |
Ait-El-Manssour Rida | @ | | 4053 | Post-Doc | ASV | verif |
Albenque Marie | @ | 01 57 27 92 63 | 4025 | Senior Research Scientist - CNRS | ASD | combi |
Amadio Roberto | @ | 01 57 27 92 47 | 4020 | Professor | PPS | systemes , preuves |
Apers Simon | @ | 01 57 27 94 01 | 4026 | Research Scientist - CNRS | ASD | algocomp |
Arambillete Santiago | @ | | 3033 | PhD Student | PPS | preuves |
Arana Carmen | @ | | | Intern | ASD | graphes |
Aristote Quentin | @ | | 3010 | PhD Student | ASV , PPS | automates , picube |
Arrial Victor | @ | | 3018 | PhD Student | PPS | preuves |
Asarin Eugène | @ | 01 57 27 92 34 | 4040 | Professor | ASV | verif |
Avci Omur | @ | 01 57 27 92 83 | 4001 | Administrative Assistant | | |
Barbe Killian | @ | | | Intern | ASV | automates |
Baudart Guillaume | @ | | 4026 | Research Scientist - INRIA ISFP | PPS | systemes , preuves , picube |
Bauer Esaie | @ | | 3033 | PhD Student | PPS | preuves , picube |
Behr Nicolas | @ | 01 57 27 90 85 | 3030 | Research Scientist - CNRS | PPS | algebre , preuves |
Belloundja Abdelkader | @ | | | Intern | PPS | preuves , systemes , algebre , picube |
Ben-Dali Houcine | @ | | 4057 | PhD Student | ASD | combi , graphes |
Bermot Elie | @ | | 3010 | PhD Student | ASD | algocomp |
Bernardi Giovanni | @ | 01 57 27 93 38 | 4021 | Associate Professor | ASV , PPS | verif , systemes , preuves |
Berthé Valérie | @ | 01 57 27 93 35 | 4014 | Senior Research Scientist - CNRS | ASV , ASD | automates , combi |
Bigeon Emmanuel | @ | | 3018 | Teaching and Research Assistant | ASV | verif |
Biziere Clotilde | @ | | 4059 | Intern | ASV | automates |
Blanchi Victor | @ | | | Intern | PPS | picube |
Blazy Vincent | @ | | 3044 | PhD Student | PPS | picube , algebre , preuves |
Blin Lelia | @ | 01 57 27 94 51 | 3015 | Professor | ASD | distribue |
Bouajjani Ahmed | @ | 01 57 27 92 64 | 4023 | Professor | ASV | verif |
Boufkhad Yacine | @ | 01 57 27 94 05 | 4018 | Associate Professor | | |
Bouniard Yoan | @ | | | Intern | PPS | algebre |
Boutglay Wael-Amine | @ | | 4059 | PhD Student | ASV | verif |
Brasseur Leopold | @ | | | Intern | PPS | algebre , systemes , preuves , picube |
Bucciarelli Antonio | @ | 01 57 27 94 33 | 3045 | Associate Professor | PPS | algebre , preuves |
Bui Thi-Thuy-Dung | @ | | 3014 | PhD Student | ASD | algocomp |
Caizergues Emma | @ | | 4057 | PhD Student | ASD | combi |
Calvi Juliette | @ | 01 57 27 92 26 | 4005 | Administrative Assistant - Communication | | |
Carozza Eliana | @ | | 3014 | PhD Student | ASD | algocomp |
Carton Olivier | @ | 01 57 27 92 54 | 4037 | Professor | ASV | automates |
Casares Antonio | @ | | 3042 | PhD Student | ASV | automates |
Castagna Giuseppe | @ | 01 57 27 93 40 | 3039 | Senior Research Scientist - CNRS | PPS | preuves , systemes |
Castro Felix | @ | | 3026 | PhD Student | PPS | picube , algebre , systemes , preuves |
Catz Manu | @ | | 4055 | Intern | PPS | preuves |
Chapuy Guillaume | @ | 01 57 27 94 04 | 4012 | Senior Research Scientist - CNRS | ASD | combi , graphes |
Charbit Pierre | @ | 01 57 27 92 41 | 4008b | Associate Professor | ASD | graphes |
Cherradi El-Mehdi | @ | | 3044 | PhD Student | ASV , PPS | automates , algebre , preuves |
Choffrut Christian | @ | 01 57 27 94 45 | 4007 | Professor Emeritus | ASV | automates |
Chouai Salim | @ | | 4060 | Visitor | ASV | verif |
Chroboczek Juliusz | @ | 01 57 27 92 37 | 3046 | Associate Professor | PPS | systemes |
Clement Emily | @ | | 3028 | Teaching and Research Assistant | ASV | verif |
Colcombet Thomas | @ | 01 57 27 94 32 | 3042 | Senior Research Scientist - CNRS | ASV | automates |
Cornelissen Arjan | @ | | 4058 | Post-Doc | ASD | algocomp |
Corteel Sylvie | @ | 01 57 27 94 06 | 4028 | Senior Research Scientist - CNRS | ASD | combi |
Cosson Raphael | @ | | 3028 | Teaching and Research Assistant | ASD | algocomp |
Couteau Geoffroy | @ | 01 57 27 92 45 | 3041 | Research Scientist - CNRS | ASD | algocomp |
Crabtree Owen | @ | | | Intern | ASD | graphes |
Csikos Monika | @ | | 3036 | Associate Professor | ASD | graphes |
Curien Pierre-Louis | @ | 01 57 27 92 23 | 3013 | Senior Research Scientist Emeritus - CNRS | PPS | picube , algebre , preuves |
Dagand Pierre-Evariste | @ | 01 57 27 94 29 | 3012 | Research Scientist - CNRS | PPS | systemes |
Danilkin Anton | @ | | | Intern | PPS | systemes , picube , preuves |
Das Avinandan | @ | | 4055 | PhD Student | ASD | algocomp , distribue |
De Faveri Arturo | @ | | 4033 | PhD Student | PPS | algebre , preuves |
De Montgolfier Fabien | @ | 01 57 27 92 41 | 4008b | Associate Professor | ASD | graphes |
De Panafieu Elie | @ | | | Associated Member | ASD | combi |
De Rougemont Michel | @ | 01 57 27 94 48 | 4041 | Professor Emeritus - Université Paris 2 | ASD | algocomp |
De-Lacerda-Werneck Maria-Clara | @ | | | Intern | ASV , ASD | automates , combi |
Degorre Aldric | @ | 01 57 27 92 32 | 4018 | Associate Professor | ASV | verif |
Delporte Carole | @ | 01 57 27 92 25 | 4006 | Professor - directrice UFR informatique | ASD | distribue |
Devillers Cedric | @ | 01 57 27 92 19 | 3054 | IT Administrator | | |
Di Cosmo Roberto | @ | | | Professor - (en détachement à l'INRIA) | PPS | systemes |
Di Donna Raffaele | @ | | 3010 | PhD Student | PPS | algebre , preuves |
Djuric Alen | @ | | 3033 | Post-Doc | PPS | algebre , picube |
Douéneau Gaëtan | @ | | 3034 | PhD Student | ASV | automates |
Douteau Sylvain | @ | | 3030 | Associate Professor | PPS | algebre , preuves |
Duboc Guillaume | @ | | 3010 | PhD Student | PPS | systemes |
Duchi Enrica | @ | 01 57 27 92 33 | 4044 | Associate Professor | ASD | combi |
Ducros Clement | @ | | 3028 | PhD Student | ASD | algocomp |
Dzamonja Mirna | @ | 01 57 27 92 51 | 3047 | Associated Member - Chercheuse projet UE | ASV | automates |
Edenhofer Roman | @ | | 4060 | PhD Student | ASD | algocomp |
Egger Christoph | @ | | 3036 | Post-Doc | ASD | algocomp |
Ehrhard Thomas | @ | 01 57 27 92 17 | 4014a | Senior Research Scientist - CNRS | PPS | algebre , systemes , preuves , picube |
Erlich Enzo | @ | | | Intern | ASV , PPS | verif , algebre |
Faggian Claudia | @ | 01 57 27 90 86 | 3032 | Research Scientist - CNRS | PPS | algebre , preuves |
Fauconnier Hugues | @ | 01 57 27 92 25 | 4006 | Professor Emeritus | ASD | distribue |
Férée Hugo | @ | 01 57 27 94 05 | 4011 | Associate Professor | PPS | systemes , preuves |
Fiorillo Guido | @ | | | Intern | PPS | algebre , systemes , preuves , picube |
Flin Jules | @ | | 3033 | PhD Student | ASD | combi |
Fortin Marie | @ | 01 57 27 94 00 | 4016 | Research Scientist - CNRS | ASV | automates |
Foughali Mohammed | @ | 01 57 27 94 49 | 4043 | Associate Professor | ASV | verif |
Fraigniaud Pierre | @ | 01 57 27 92 60 | 4019 | Senior Research Scientist - CNRS | ASD | algocomp , distribue |
Frougny Christiane | @ | | | Pensioner - Université Paris 8 | ASV , ASD | automates , combi |
Gallego Emilio | @ | 01 57 27 92 24 | 4030 | Starting research position - INRIA | PPS | picube , algebre , systemes , preuves |
Gaucher Philippe | @ | 01 57 27 92 55 | 3049 | Research Scientist - CNRS | PPS | algebre |
Geoffroy Guillaume | @ | 01 57 27 94 15 | 3019 | Associate Professor | PPS | algebre , preuves |
Gheerbrant Amelie | @ | 01 57 27 94 46 | 4039 | Associate Professor | ASV | automates |
Giusti Giulia | @ | | 4055 | PhD Student | PPS | algebre , preuves |
Gonzalez Colin | @ | | 3044 | PhD Student | PPS | systemes |
Goulet-Ouellet Herman | @ | | 4056 | Post-Doc | ASV , ASD | automates , combi |
Guatto Adrien | @ | 01 57 27 94 15 | 3019 | Associate Professor | PPS | algebre , systemes , preuves |
Guessarian Irène | @ | 01 57 27 92 59 | 3032 | Professor Emeritus - Sorbonne Université | ASV | automates , verif |
Guillou Lucie | @ | | 4057 | PhD Student | ASV | verif |
Habermehl Peter | @ | 01 57 27 92 58 | 3022 | Associate Professor | ASV | automates , verif |
Habib Michel | @ | 01 57 27 94 42 | 3042a | Professor Emeritus | ASD | graphes |
Han Helene | @ | | | Intern | ASD | combi |
He Jingxiang | @ | | 4059 | PhD Student | ASD | graphes |
Henriet Corentin | @ | | 4033 | PhD Student | ASD | combi |
Herbelin Hugo | @ | 01 57 27 90 87 | 3029 | Senior Research Scientist - INRIA | PPS | algebre , picube , preuves , systemes |
Horch Milo | @ | | 4059 | Intern | ASD | algocomp |
Horn Florian | @ | 01 57 27 94 46 | 4039 | Research Scientist - CNRS | ASV | automates , verif |
Hu Yining | @ | | 3036 | Visitor | ASV | automates |
Iarifina Marie-Josée | @ | | | Head of Financial Management | | |
Idir Olivier | @ | | 4033 | PhD Student | ASV | automates |
Jacobo-Inclan Bernardo | @ | | 3035 | PhD Student | ASV | verif |
Jafar-Rhamani Farzad | @ | 01 57 27 92 92 | 3026 | Post-Doc | PPS | algebre , systemes , preuves , picube |
Jaquard Arthur | @ | | 3044 | PhD Student | ASV | automates |
Joly Thierry | @ | 01 57 27 92 55 | 3049 | Associate Professor | PPS | preuves |
Josuat-Vergès Matthieu | @ | 01 57 27 92 59 | 4049 | Research Scientist - CNRS | ASD | combi |
Jubert Moana | @ | | 3034 | PhD Student | PPS | picube , algebre , preuves |
Jugé Vincent | @ | | 4049 | Visitor | ASD | combi |
Jurski Yan | @ | 01 57 27 94 41 | 4027 | Associate Professor | ASV | verif |
Kachler Dimitri | @ | | | Intern | ASD | algocomp |
Kerenidis Iordanis | @ | 01 57 27 92 63 | 4025 | Senior Research Scientist - CNRS | ASD | algocomp |
Kesner Delia | @ | 01 57 27 92 38 | 3020 | Professor | PPS | algebre , preuves |
Kniazev Roman | @ | | 3018 | Teaching and Research Assistant | PPS | algebre |
Koch Alexander | @ | | 4058 | Post-Doc | ASD | algocomp |
Kochdumper Niklas | @ | | 3057 | Post-Doc | ASV | verif |
Korman Amos | @ | 01 57 27 94 06 | 4028 | Senior Research Scientist - CNRS - Currently on sabbatical at FILOFOCS | ASD | algocomp , distribue |
Krivine Jean-Louis | @ | 01 57 27 92 39 | 3008 | Professor Emeritus | PPS | algebre , preuves |
Krivine Jean | @ | | | Research Scientist - CNRS - Currently on leave | PPS | systemes |
Kuffner Luis | @ | | | Intern | ASD | graphes |
Kuoy Houy | @ | 01 57 27 92 19 | 3054 | IT Administrator | | |
Lancelot Adrienne | @ | | 3026 | PhD Student | PPS | preuves |
Laplante Sophie | @ | 01 57 27 94 47 | 4040a | Professor | ASD | algocomp |
Laroussinie François | @ | 01 57 27 92 42 | 4034 | Professor | ASV | automates , verif |
Larroque Emile | @ | | | Intern | ASV | automates , verif |
Laurent Mickael | @ | | 3033 | PhD Student | PPS | systemes , preuves |
Lechine Ulysse | @ | | 3028 | PhD Student | ASD | algocomp |
Ledent Jeremy | @ | | 3022 | Associate Professor | PPS | algebre |
Lesellier Maximilien | @ | 01 57 27 92 74 | 4003a | Head of Administration | | |
Letouzey Pierre | @ | 01 57 27 93 37 | 3040 | Associate Professor | PPS | picube , systemes , preuves |
Lévy Jean-Jacques | @ | 01 57 27 92 68 | 3009 | Senior Research Scientist Emeritus - INRIA | PPS | systemes , preuves , picube |
Libkin Leonid | @ | | 3042 | Associated Member | ASV | automates |
Lopez Aliaume | @ | | 3035 | PhD Student | ASV | automates |
Lopez Gaetan | @ | | | Intern | PPS | algebre |
Loulergue Erwann | @ | | | Intern | ASV | automates , verif |
Lovejoy Jeremy | @ | 01 57 27 92 24 | 4030 | Research Scientist - CNRS | ASD | combi |
Luce Mael | @ | | 3014 | PhD Student | ASD | algocomp , distribue |
Magniez Frédéric | @ | 01 57 27 94 02 | 4024 | Senior Research Scientist - CNRS | ASD | algocomp |
Manara Giulia | @ | | 3014 | PhD Student | PPS | preuves |
Manet Hugo | @ | | 4057 | PhD Student | ASD | combi |
Mantaci Roberto | @ | 01 57 27 92 62 | 4047 | Associate Professor | ASD | combi |
Manzonetto Giulio | @ | 01 57 27 93 54 | 4015 | Professor | PPS | algebre , preuves |
Marques Jeremie | @ | | 3028 | Post-Doc | ASV | automates |
Martinez Thierry | @ | 01 57 27 90 87 | 3029 | Research ingenior - INRIA | PPS | preuves , picube |
Marzaioli Miriam | @ | | 4055 | PhD Student | PPS | algebre , preuves |
Mascarenhas Tomaz | @ | | 3054 | Research ingenior | | |
Mathieu Claire | @ | 01 57 27 94 39 | 4009 | Senior Research Scientist - CNRS | ASD | algocomp |
Melliès Paul-André | @ | 01 57 27 92 48 | 3023 | Senior Research Scientist - CNRS | ASV , PPS | automates , algebre , preuves , picube |
Métayer François | @ | 01 57 27 94 29 | 3012 | Associate Professor Emeritus - Université Paris Nanterre | PPS | algebre |
Micheli Anne | @ | 01 57 27 94 38 | 4038 | Associate Professor | ASD | combi |
Milicich Mariana | @ | | 3026 | PhD Student | PPS | algebre , preuves |
Mitsou Valia | @ | 01 57 27 94 45 | 4034a | Associate Professor | ASD | graphes |
Moreau Vincent | @ | | 4033 | PhD Student | ASV , PPS | automates , picube , algebre |
Nagendra Srinidhi | @ | | 4060 | PhD Student | ASV | verif |
Naserasr Reza | @ | 01 57 27 92 24 | 4026 | Research Scientist - CNRS | ASD | graphes |
Natansh Mathur | @ | | 4056 | PhD Student | ASD | algocomp |
Ndiaye Yves | @ | | | Intern | PPS | systemes |
Nematollahi Shamisa | @ | | 4031 | PhD Student | ASD | algocomp |
Nguyen Mathieu | @ | | | Study ingenior | ASD | algocomp |
Nguyen Minh-Hang | @ | | 4031 | PhD Student | ASD | graphes , distribue |
Nosan Klara | @ | | 4031 | PhD Student | ASV | verif |
Nourel Astyax | @ | | 4057 | PhD Student | PPS | systemes |
Objois Etienne | @ | | 4059 | PhD Student | ASD | combi , graphes |
Ollinger Nicolas | @ | | 4054 | Visitor | ASV | automates |
Orru Michele | @ | | 4027 | Research Scientist - CNRS | ASD | algocomp |
Osorio Daniel | @ | | | Intern | PPS | algebre , systemes , preuves , picube |
Padovani Vincent | @ | 01 57 27 93 39 | 3045 | Associate Professor | PPS | preuves |
Pang Xinhong | @ | | 4031 | PhD Student | ASD | graphes |
Pasquale Valentin | @ | | | PhD Student | PPS | algebre , preuves |
Passos-Ibiapina Allen-Roossim | @ | | 4053 | Post-Doc | ASD | graphes |
Perifel Sylvain | @ | 01 57 27 92 29 | 4017 | Associate Professor | ASV , ASD | automates , algocomp |
Petrisan Daniela | @ | 01 57 27 94 00 | 4016 | Associate Professor | ASV , PPS | automates , algebre , picube |
Peyrot Loïc | @ | 01 57 27 92 92 | 3010 | Post-Doc | PPS | algebre , preuves |
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 Emeritus - CNRS | ASV | automates |
Poulalhon Dominique | @ | 01 57 27 94 38 | 4038 | Associate Professor | ASD | combi |
Pouly Amaury | @ | | | Research Scientist - CNRS - Currently on leave | ASV | automates |
Pu Sihang | @ | | 3057 | Post-Doc | ASD | algocomp |
Rabie Mikael | @ | 01 57 27 93 38 | 4021 | Associate Professor | ASD | graphes , distribue |
Rabinovitch Alexander | @ | | 4025 | Visitor | ASV | automates |
Rajsbaum Sergio | @ | 01 57 27 94 44 | 4048 | Associated Member | ASD | distribue |
Ramos Miguel | @ | | 3033 | PhD Student | PPS | algebre , preuves |
Ravelomanana Vlady | @ | 01 57 27 94 44 | 3025 | Professor | ASD | combi , graphes |
Reboullet Sarah | @ | | 3034 | PhD Student | PPS | preuves , picube |
Renkin Florian | @ | | 3028 | Teaching and Research Assistant | ASV | automates |
Rogova Alexandra | @ | | 3035 | PhD Student | ASV | automates |
Roman-Calvo Enrique | @ | | 4060 | PhD Student | ASV | verif |
Rosén Adi | @ | 01 57 27 94 40 | 4013 | Senior Research Scientist - CNRS | ASD | algocomp |
Rozière Paul | @ | 01 57 27 92 57 | 3057 | Pensioner - MCF Université Paris Cité | PPS | preuves |
Ruet Paul | @ | 01 57 27 92 48 | 3023 | Research Scientist - CNRS | PPS | algebre , systemes |
Safir Mouna | @ | | 4060 | PhD Student | ASD | distribue |
Sakarovitch Jacques | @ | 01 57 27 90 86 | 3032 | Senior Research Scientist Emeritus - CNRS | ASV | automates |
Salibra Antonino | @ | | | Associated Member | PPS | algebre , preuves |
Salvy Zephyr | @ | | | PhD Student | ASD | combi |
Samtchar Jemuel | @ | 01 57 27 94 11 | 4001 | Administrative Assistant | | |
Santamaria Marco | @ | | | Intern | PPS | algebre , preuves |
Santha Miklos | @ | | 4041 | Senior Research Scientist Emeritus - CNRS | ASD | algocomp |
Sarma Rishabh | @ | | 4055 | Visitor | ASD | combi |
Saulpic David | @ | | 4029a | Research Scientist - CNRS | ASD | algocomp |
Saurin Alexis | @ | 01 57 27 93 37 | 3040 | Research Scientist - CNRS | PPS | algebre , systemes , preuves , picube |
Scherer Gabriel | @ | | 4032 | Research Scientist - INRIA | PPS | algebre , systemes , preuves , picube |
Schmitz Sylvain | @ | 01 57 27 92 16 | 3048 | Professor | ASV | automates , verif |
Sellier Francois | @ | | | PhD Student | ASD | algocomp |
Serre Olivier | @ | 01 57 27 94 18 | 4029 | Senior Research Scientist - CNRS | ASV | automates |
Shirmohammadi Mahsa | @ | 01 57 27 92 29 | 4017 | Research Scientist - CNRS | ASV | verif |
Sirangelo Cristina | @ | 01 57 27 92 35 | 4042 | Professor | ASV | automates |
Stehlik Matej | @ | 01 57 27 93 36 | 4008 | Professor | ASD | graphes |
Steiner Wolfgang | @ | 01 57 27 92 33 | 4044 | Research Scientist - CNRS | ASV , ASD | automates , combi |
Stietel Olivier | @ | | 3035 | PhD Student | ASV | verif |
Sun Yun | @ | | 4057 | PhD Student | ASV , ASD | automates , combi |
Susairaj Marie-Laure | @ | 01 57 27 94 08 | 4001 | Administrative Assistant | | |
Szabo Daniel | @ | | 4059 | PhD Student | ASD | algocomp |
Szafarczyk Artur | @ | | | Intern | ASV | automates |
Themelis Alexandros | @ | | 3010 | Intern | ASD | algocomp |
Theron Clement | @ | | 4060 | PhD Student | PPS | algebre |
Tokka Nicolas | @ | | 3035 | PhD Student | ASD | combi |
Torfs Renaud | @ | | 4031 | PhD Student | ASD | graphes |
Touili Tayssir | @ | 01 57 27 92 61 | 4028a | Senior Research Scientist | ASV | verif |
Treinen Ralf | @ | 01 57 27 92 44 | 3021 | Professor | PPS , ASV | systemes , verif |
Vacus Robin | @ | | 4055 | PhD Student | ASD | algocomp , distribue |
Vallee Brigitte | @ | 01 57 27 92 41 | 4008b | Associated Member - DR CNRS émérite | ASD | combi |
Van-Wijland Ernest | @ | | | Intern | ASD | algocomp |
Vanoni Gabriele | @ | | 3018 | Post-Doc | PPS | algebre , preuves |
Viennot Laurent | @ | 01 57 27 92 50 | 3042a | Associated Member - Directeur de recherche INRIA | ASD | graphes , distribue |
Vienot Ada | @ | | 3044 | PhD Student | PPS | algebre , systemes , preuves |
Vladu Adrian | @ | 01 57 27 92 45 | 3041 | Research Scientist - CNRS | ASD | algocomp |
Walch Aymeric | @ | | 3026 | PhD Student | PPS | algebre |
Winter Sarah | @ | | 4026 | Associate Professor | ASV | automates |
Yahi Younes | @ | | 3033 | PhD Student | ASD | combi |
Yilmaz Deniz | @ | | 3034 | PhD Student | ASV | automates |
Yunès Jean-Baptiste | @ | 01 57 27 92 62 | 4047 | Associate Professor | ASV | automates |
Zhang Maryline | @ | | | Intern | ASV | verif |
Zhou Huan | @ | | 4057 | PhD Student | ASD | graphes |
Zielonka Wiesław | @ | | 3015 | Professor Emeritus | ASV | automates |
van Gool Sam | @ | 01 57 27 94 05 | 4011 | Associate Professor | ASV , PPS | automates , algebre |