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