Nom@TéléphoneBureauFonctionPôleÉquipe
Amara Mouloud @ Stagiaire ASV verif
Aristote Quentin @ 3010 Doctorant.e ASV , PPS automates , picube
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
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
Boutglay Wael-Amine @ 4059 ATER ASV verif
Buffiere Hector @ 4055 Doctorant.e ASV , ASD automates , graphes
Carton Olivier @ 01 57 27 92 54 4037 Professeur.e ASV automates
Cherradi El-Mehdi @ 4054 Doctorant.e ASV , PPS automates , algebre , preuves
Choffrut Christian @ 01 57 27 94 45 4007 Professeur.e émérite ASV automates
Colcombet Thomas @ 01 57 27 94 32 4008a Directeur.rice de recherche - CNRS ASV automates
De-Lacerda-Werneck Maria-Clara @ 3033 Doctorant.e ASV , ASD automates , combi
Degorre Aldric @ 01 57 27 92 32 4018 Maître.sse de conférences ASV verif
Erlich Enzo @ 3014 Doctorant.e ASV , PPS automates , algebre
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
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
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
Idir Olivier @ 4033 Doctorant.e ASV automates
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
Libkin Leonid @ 3042 Professeur.e - Chaire industrielle ASV automates
Lin Shijie @ 3034 Doctorant.e ASV verif
Marques Jeremie @ 3028 Post-Doctorant.e ASV automates
Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves , picube
Mollo-Cunningham Ignacio-Agustin @ Visiteur.euse ASV automates
Moreau Vincent @ 4033 Doctorant.e ASV , PPS automates , picube , algebre
Passemard Luc @ 4060 Doctorant.e ASV automates
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
Pouly Amaury @ Chargé.e de recherche - CNRS - Currently on leave ASV automates
Regaud Gaetan @ Stagiaire ASV automates
Renkin Florian @ 3028 Post-Doctorant.e ASV verif
Roman-Calvo Enrique @ 4060 Doctorant.e ASV verif
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 94 18 4029 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
Tarantino Umberto @ 4060 Doctorant.e ASV , PPS automates , algebre
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
Van Sint Jan Nicolàs @ 07 68 11 74 69 3035 Doctorant.e ASV automates
Winter Sarah @ 4026 Maître.sse de conférences ASV automates
Wrigley Joshua @ 3018 Post-Doctorant.e ASV automates
Yilmaz Deniz @ 3034 Doctorant.e ASV automates
Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférences ASV automates
Zablocki Jean @ Stagiaire ASV automates
Zhang Maryline @ 4057 Doctorant.e ASV verif
Zhangeldinov Olzhas @ 3028 Doctorant.e ASV verif
Zielonka Wiesław @ 3047 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