Nom | @ | Téléphone | Bureau | Fonction | Pô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 | @ | | | Professeur.e émérite - 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 |
Libkin Leonid | @ | | 3042 | Professeur.e - Chaire industrielle | ASV | automates |
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 |