Name@PhoneOfficePositionPoleTeam Ait-El-Manssour Rida @ 4053 Post-Doc ASV verif Asarin Eugène @ 01 57 27 92 34 4040 Professor ASV verif Bernardi Giovanni @ 01 57 27 93 38 4021 Associate Professor ASV , PPS verif , systemes , preuves Bigeon Emmanuel @ 3018 Teaching and Research Assistant ASV verif Bouajjani Ahmed @ 01 57 27 92 64 4023 Professor ASV verif Boutglay Wael-Amine @ 4059 PhD Student ASV verif Chouai Salim @ 4060 Visitor ASV verif Clement Emily @ 3028 Teaching and Research Assistant ASV verif Degorre Aldric @ 01 57 27 92 32 4018 Associate Professor ASV verif Erlich Enzo @ Intern ASV , PPS verif , algebre Foughali Mohammed @ 01 57 27 94 49 4043 Associate Professor ASV verif 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 Jacobo-Inclan Bernardo @ 3035 PhD Student ASV verif 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 Loulergue Erwann @ Intern ASV automates , verif Nagendra Srinidhi @ 4060 PhD Student ASV verif Nosan Klara @ 4031 PhD Student ASV verif Roman-Calvo Enrique @ 4060 PhD Student ASV verif Schmitz Sylvain @ 01 57 27 92 16 3048 Professor ASV automates , verif Shirmohammadi Mahsa @ 01 57 27 92 29 4017 Research Scientist - CNRS ASV verif Stietel Olivier @ 3035 PhD Student ASV verif 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 Zhang Maryline @ Intern ASV verif