Name@PhoneOfficePositionPoleTeam 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 Bouajjani Ahmed @ 01 57 27 92 64 4023 Professor ASV verif Degorre Aldric @ 01 57 27 92 32 4018 Associate Professor ASV verif 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 Guessarian Irène @ 01 57 27 92 59 3032 Professor Emeritus - Sorbonne Université ASV automates , 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 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 Schmitz Sylvain @ 01 57 27 92 16 3048 Professor ASV automates , verif Shirmohammadi Mahsa @ 01 57 27 94 18 4029 Research Scientist - CNRS 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 programmes , verif