Name@PhoneOfficePositionPoleTeam Amara Mouloud @ Intern ASV verif Aristote Quentin @ 3010 PhD Student ASV , PPS automates , picube Asarin Eugène @ 01 57 27 92 34 4040 Professor ASV verif Bernardi Giovanni @ 01 57 27 94 29 3012 Associate Professor ASV , PPS verif , preuves , programmes Berthé Valérie @ 01 57 27 93 35 4014 Senior Research Scientist - CNRS ASV , ASD automates , combi Bouajjani Ahmed @ 01 57 27 92 64 4023 Professor ASV verif Boutglay Wael-Amine @ 4059 Teaching and Research Assistant ASV verif Buffiere Hector @ 4055 PhD Student ASV , ASD automates , graphes Carton Olivier @ 01 57 27 92 54 4037 Professor ASV automates Cherradi El-Mehdi @ 4054 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 4008a Senior Research Scientist - CNRS ASV automates De-Lacerda-Werneck Maria-Clara @ 3033 PhD Student ASV , ASD automates , combi Degorre Aldric @ 01 57 27 92 32 4018 Associate Professor ASV verif Erlich Enzo @ 3014 PhD Student ASV , PPS automates , algebre Fortin Marie @ 01 57 27 94 00 4016 Research Scientist - CNRS ASV automates , verif Foughali Mohammed @ 01 57 27 94 49 4043 Associate Professor ASV verif Gheerbrant Amelie @ 01 57 27 94 46 4039 Associate Professor ASV automates 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 68 3009 Professor ASV automates , verif Horn Florian @ 01 57 27 94 46 4039 Research Scientist - CNRS ASV automates , verif Idir Olivier @ 4033 PhD Student ASV automates Jacobo-Inclan Bernardo @ 3035 PhD Student ASV verif Jurski Yan @ 01 57 27 94 41 4027 Associate Professor ASV verif Laroussinie François @ 01 57 27 92 42 4034 Professor ASV automates , verif Larroque Emile @ 3033 PhD Student ASV automates , verif Laversa Laetitia @ 3044 Teaching and Research Assistant ASV automates , verif Leclercq Loriane @ 3044 Teaching and Research Assistant ASV verif Libkin Leonid @ 3042 Professor - Chaire industrielle ASV automates Lin Shijie @ 3034 PhD Student ASV 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 Mollo-Cunningham Ignacio-Agustin @ Visitor ASV automates Moreau Vincent @ 4033 PhD Student ASV , PPS automates , picube , algebre Passemard Luc @ 4060 PhD Student ASV automates 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 Pouly Amaury @ Research Scientist - CNRS - Currently on leave ASV automates Regaud Gaetan @ Intern ASV automates Renkin Florian @ 3028 Post-Doc ASV verif 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 94 18 4029 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 Tarantino Umberto @ 4060 PhD Student ASV , PPS automates , algebre Touili Tayssir @ 01 57 27 92 61 4028a Senior Research Scientist ASV verif Treinen Ralf @ 01 57 27 92 44 3021 Professor PPS , ASV programmes , verif Van Sint Jan Nicolàs @ 07 68 11 74 69 3035 PhD Student ASV automates Winter Sarah @ 4026 Associate Professor ASV automates Wrigley Joshua @ 3018 Post-Doc ASV automates Yilmaz Deniz @ 3034 PhD Student ASV automates Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Associate Professor ASV automates Zablocki Jean @ Intern ASV automates Zhang Maryline @ 4057 PhD Student ASV verif Zhangeldinov Olzhas @ 3028 PhD Student ASV verif Zielonka Wiesław @ 3047 Professor Emeritus ASV automates van Gool Sam @ 01 57 27 94 05 4011 Associate Professor ASV , PPS automates , algebre