Name@PhoneOfficePositionPoleTeam Abou-Samra Jean @ 07 82 52 98 36 Intern ASV automates Aristote Quentin @ 3010 PhD Student ASV , PPS automates , picube Barbe Killian @ Intern ASV automates Berthé Valérie @ 01 57 27 93 35 4014 Senior Research Scientist - CNRS ASV , ASD automates , combi Biziere Clotilde @ 4059 Intern ASV automates 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 Colcombet Thomas @ 01 57 27 94 32 3042 Senior Research Scientist - CNRS ASV automates De-Lacerda-Werneck Maria-Clara @ Intern ASV , ASD automates , combi Douéneau Gaëtan @ 3034 PhD Student ASV automates Dzamonja Mirna @ 01 57 27 92 51 3047 Associated Member - Chercheuse projet UE ASV automates Fortin Marie @ 01 57 27 94 00 4016 Research Scientist - CNRS ASV automates Frougny Christiane @ Professor Emeritus - 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 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 Jaquard Arthur @ 3044 PhD Student ASV automates Laroussinie François @ 01 57 27 92 42 4034 Professor ASV automates , verif Larroque Emile @ Intern ASV automates , verif Libkin Leonid @ 3042 Professor - Chaire industrielle 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 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 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 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 Sun Yun @ 4057 PhD Student ASV , ASD automates , combi Szafarczyk Artur @ Intern ASV automates 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 Zielonka Wiesław @ 3015 Professor Emeritus ASV automates van Gool Sam @ 01 57 27 94 05 4011 Associate Professor ASV , PPS automates , algebre