Name@PhoneOfficePositionPoleTeam Abou-Samra Jean @ 07 82 52 98 36 Intern ASV automates Ait-El-Manssour Rida @ 4053 Post-Doc ASV verif Aristote Quentin @ 3010 PhD Student ASV , PPS automates , picube Asarin Eugène @ 01 57 27 92 34 4040 Professor ASV verif Barbe Killian @ Intern ASV automates 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 Bouajjani Ahmed @ 01 57 27 92 64 4023 Professor ASV verif Boutglay Wael-Amine @ 4059 PhD Student ASV verif Carton Olivier @ 01 57 27 92 54 4037 Professor ASV automates Casares Antonio @ 3042 PhD Student ASV automates 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 Clement Emily @ 3028 Teaching and Research Assistant ASV verif Colcombet Thomas @ 01 57 27 94 32 3042 Senior Research Scientist - CNRS ASV automates De-Lacerda-Werneck Maria-Clara @ Intern ASV , ASD automates , combi Degorre Aldric @ 01 57 27 92 32 4018 Associate Professor ASV verif Douéneau Gaëtan @ 3034 PhD Student ASV automates Dzamonja Mirna @ 01 57 27 92 51 3047 Associated Member - Chercheuse projet UE ASV automates Erlich Enzo @ Intern ASV , PPS verif , algebre 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 Frougny Christiane @ Pensioner - Université Paris 8 ASV , ASD automates , combi Gheerbrant Amelie @ 01 57 27 94 46 4039 Associate Professor ASV automates Goulet-Ouellet Herman @ 4056 Post-Doc ASV , ASD automates , combi 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 Horn Florian @ 01 57 27 94 46 4039 Research Scientist - CNRS ASV automates , verif Hu Yining @ 3036 Visitor ASV automates Idir Olivier @ 4033 PhD Student ASV automates Jacobo-Inclan Bernardo @ 3035 PhD Student ASV verif Jaquard Arthur @ 3044 PhD Student ASV automates Jurski Yan @ 01 57 27 94 41 4027 Associate Professor ASV verif Kochdumper Niklas @ 3057 Post-Doc ASV verif Laroussinie François @ 01 57 27 92 42 4034 Professor ASV automates , verif Larroque Emile @ Intern ASV automates , verif Libkin Leonid @ 3042 Associated Member ASV automates Lopez Aliaume @ 3035 PhD Student ASV automates Loulergue Erwann @ Intern ASV automates , verif Marques Jeremie @ 3028 Post-Doc ASV automates Melliès Paul-André @ 01 57 27 92 48 3023 Senior Research Scientist - CNRS ASV , PPS automates , algebre , preuves , picube Moreau Vincent @ 4033 PhD Student ASV , PPS automates , picube , algebre Nagendra Srinidhi @ 4060 PhD Student ASV verif Nosan Klara @ 4031 PhD Student ASV verif Ollinger Nicolas @ 4054 Visitor ASV automates 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 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 Pouly Amaury @ Research Scientist - CNRS - Currently on leave ASV automates Rabinovitch Alexander @ 4025 Visitor ASV automates Renkin Florian @ 3028 Teaching and Research Assistant ASV automates Rogova Alexandra @ 3035 PhD Student ASV automates Roman-Calvo Enrique @ 4060 PhD Student ASV verif Sakarovitch Jacques @ 01 57 27 90 86 3032 Senior Research Scientist Emeritus - CNRS ASV automates Schmitz Sylvain @ 01 57 27 92 16 3048 Professor ASV automates , verif 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 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 Szafarczyk Artur @ Intern ASV automates 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 Winter Sarah @ 4026 Associate Professor ASV automates 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 Zielonka Wiesław @ 3015 Professor Emeritus ASV automates van Gool Sam @ 01 57 27 94 05 4011 Associate Professor ASV , PPS automates , algebre