Nom@TéléphoneBureauFonctionPôleÉquipe Asarin Eugène @ 01 57 27 92 34 4040 Professeur.e ASV verif Bernardi Giovanni @ 01 57 27 93 38 4021 Maître.sse de conférences ASV , PPS verif , systemes , preuves Berthé Valérie @ 01 57 27 93 35 4014 Directeur.rice de recherche - CNRS ASV , ASD automates , combi Bouajjani Ahmed @ 01 57 27 92 64 4023 Professeur.e ASV verif Carton Olivier @ 01 57 27 92 54 4037 Professeur.e ASV automates Choffrut Christian @ 01 57 27 94 45 4007 Professeur.e émérite ASV automates Colcombet Thomas @ 01 57 27 94 32 3042 Directeur.rice de recherche - CNRS ASV automates 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 Foughali Mohammed @ 01 57 27 94 49 4043 Maître.sse de conférences ASV verif Frougny Christiane @ Retraité.e - Université Paris 8 ASV , ASD automates , combi Gheerbrant Amelie @ 01 57 27 94 46 4039 Maître.sse de conférences ASV automates Guessarian Irène @ 01 57 27 92 59 3032 Professeur.e émérite - Sorbonne Université ASV automates , verif Habermehl Peter @ 01 57 27 92 58 3022 Maître.sse de conférences ASV automates , verif Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , 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 Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves , picube Perifel Sylvain @ 01 57 27 92 29 4017 Maître.sse de conférences ASV , ASD automates , algocomp Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférences ASV , PPS automates , algebre , picube Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférences PPS , ASV algebre , automates Pin Jean-Éric @ 01 57 27 92 18 4007 Directeur.rice de recherche émérite - CNRS ASV automates Pouly Amaury @ Chargé.e de recherche - CNRS - Currently on leave ASV automates Sakarovitch Jacques @ 01 57 27 90 86 3032 Directeur.rice de recherche émérite - CNRS ASV automates Schmitz Sylvain @ 01 57 27 92 16 3048 Professeur.e ASV automates , verif Serre Olivier @ 01 57 27 94 18 4029 Directeur.rice de recherche - CNRS ASV automates Shirmohammadi Mahsa @ 01 57 27 92 29 4017 Chargé.e de recherche - CNRS ASV verif Sirangelo Cristina @ 01 57 27 92 35 4042 Professeur.e ASV automates Steiner Wolfgang @ 01 57 27 92 33 4044 Chargé.e de recherche - CNRS ASV , ASD automates , combi 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 systemes , verif Winter Sarah @ 4026 Maître.sse de conférences ASV automates Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférences ASV automates Zielonka Wiesław @ 3015 Professeur.e émérite ASV automates van Gool Sam @ 01 57 27 94 05 4011 Maître.sse de conférences ASV , PPS automates , algebre