Name@PhoneOfficePositionPoleTeam Asarin Eugène @ 01 57 27 92 34 4040 Professeur.e ASV verif Beillahi Sidi-Mohamed @ 4060 Doctorant.e ASV verif Bernardi Giovanni @ 01 57 27 93 38 4026 Maître.sse de conférence PPS , ASV preuves , systemes , verif Biswas Ranadeep @ 07 69 97 44 12 4060 Doctorant.e ASV verif Bouajjani Ahmed @ 01 57 27 92 64 4023 Professeur.e ASV verif Bouillaguet Quentin @ 4021 Doctorant.e ASV verif Cauderlier Raphael @ 4058 Post-Doctorant.e ASV verif Degorre Aldric @ 01 57 27 92 32 4018 Maître.sse de conférence ASV verif Delbianco German-Andres @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif Enea Constantin @ 01 57 27 92 41 4028a Maître.sse de conférence ASV verif Fang Bin @ 07 68 79 02 80 4061 Doctorant.e ASV verif Guessarian Irène @ 01 57 27 92 59 4049 Professeur.e émérite ASV automates , verif Habermehl Peter @ 01 57 27 92 58 3022 Maître.sse de conférence ASV automates , verif Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , verif Jeannerod Nicolas @ 01 57 27 92 22 3035 Doctorant.e avec mission d'enseignement PPS , ASV systemes , verif Ji Kailiang @ 01 57 27 92 60 4057 Post-Doctorant.e ASV verif Laroussinie François @ 01 57 27 92 42 4004 Professeur.e ASV verif Long Teng @ 01 57 27 92 60 4054 Visiteur.euse ASV verif Petri Gustavo @ 01 57 27 94 01 4021 Maître.sse de conférence - (en disponibilité) ASV verif Pommellet Adrien @ 01 57 27 92 27 4052 ATER ASV verif Sangnier Arnaud @ 01 57 27 92 58 3022 Maître.sse de conférence ASV verif Sighireanu Mihaela @ 01 57 27 94 01 4021 Maître.sse de conférence ASV verif Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV systemes , verif Wang Chao @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif