Nom@TéléphoneBureauFonctionPôleÉquipe
Amara Mouloud @ Stagiaire ASV verif
Asarin Eugène @ 01 57 27 92 34 4040 Professeur.e ASV verif
Bernardi Giovanni @ 01 57 27 94 29 3012 Maître.sse de conférences ASV , PPS verif , preuves , programmes
Bouajjani Ahmed @ 01 57 27 92 64 4023 Professeur.e ASV verif
Boutglay Wael-Amine @ 4059 ATER ASV verif
Degorre Aldric @ 01 57 27 92 32 4018 Maître.sse de conférences ASV verif
Fortin Marie @ 01 57 27 94 00 4016 Chargé.e de recherche - CNRS ASV automates , verif
Foughali Mohammed @ 01 57 27 94 49 4043 Maître.sse de conférences ASV verif
Guessarian Irène @ 01 57 27 92 59 3032 Professeur.e émérite - Sorbonne Université ASV automates , verif
Guillou Lucie @ 4057 Doctorant.e ASV verif
Habermehl Peter @ 01 57 27 92 68 3009 Professeur.e ASV automates , verif
Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , verif
Jacobo-Inclan Bernardo @ 3035 Doctorant.e ASV verif
Jurski Yan @ 01 57 27 94 41 4027 Maître.sse de conférences ASV verif
Laroussinie François @ 01 57 27 92 42 4034 Professeur.e ASV automates , verif
Larroque Emile @ 3033 Doctorant.e ASD , ASV algocomp , verif
Laversa Laetitia @ 3044 ATER ASV automates , verif
Leclercq Loriane @ 3044 ATER ASV verif
Lin Shijie @ 3034 Doctorant.e ASV verif
Renkin Florian @ 3028 Post-Doctorant.e ASV verif
Roman-Calvo Enrique @ 4060 Doctorant.e ASV verif
Schmitz Sylvain @ 01 57 27 92 16 3048 Professeur.e ASV automates , verif
Shirmohammadi Mahsa @ 01 57 27 94 18 4029 Chargé.e de recherche - CNRS ASV verif
Touili Tayssir @ 01 57 27 92 61 4028a Directeur.rice de recherche ASV verif
Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV programmes , verif
Zhang Maryline @ 4057 Doctorant.e ASV verif
Zhangeldinov Olzhas @ 3028 Doctorant.e ASV verif