Pôle Équipe thématique Automates et applications Équipe thématique Modélisation et vérification Séminaire Séminaire de l'IRIF Automates, structures et vérification Responsable Ahmed Bouajjani Thèmes de recherche TBA Annuaire NomTéléphoneBureauFonctionMail Asarin Eugène 01 57 27 92 34 4040 Professeur.e Mail Bernardi Giovanni 01 57 27 93 38 4026 Maître.sse de conférence Mail Berthé Valérie 01 57 27 93 35 4014 Directeur.rice de recherche Mail Bouajjani Ahmed 01 57 27 92 64 4023 Professeur.e Mail Bouillaguet Quentin Doctorant.e Mail Carton Olivier 01 57 27 92 54 4037 Professeur.e Mail Cauderlier Raphael 4058 Post-Doctorant.e Mail Cecchi Pauline Doctorant.e Mail Choffrut Christian 01 57 27 92 26 4034 Professeur.e émérite Mail Colcombet Thomas 01 57 27 92 61 3042 Directeur.rice de recherche Mail Degorre Aldric 01 57 27 92 32 4018 Maître.sse de conférence Mail Delbianco German-Andres Post-Doctorant.e Mail Enea Constantin 01 57 27 92 41 4028a Maître.sse de conférence Mail Fang Bin 4061 Doctorant.e Mail Fijalkow Nathanael Membre associé.e Mail Frougny Christiane 01 57 27 94 41 4027 Professeur.e émérite Mail Gehrke Mai 01 57 27 94 39 4009 Membre associé.e Mail Gheerbrant Amelie 4039 Maître.sse de conférence Mail Godin Thibault 01 57 27 94 56 4060 Doctorant.e Mail Grigorieff Serge 4027 Professeur.e émérite Mail Guessarian Irène 01 57 27 92 59 4049 Professeur.e émérite Mail Habermehl Peter 01 57 27 92 29 4017 Maître.sse de conférence Mail Horn Florian 01 57 27 94 46 4039 Chargé.e de recherche Mail Klimann Ines 01 57 27 94 49 4043 Maître.sse de conférence Mail Lagarde Guillaume 4055 Doctorant.e Mail Laroussinie François 01 57 27 92 42 4004 Professeur.e Mail Leena-Subramaniam Chaitanya 3034 Doctorant.e Mail Melliès Paul-Andre 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail Ochremiak Joanna 4058 Post-Doctorant.e Mail Osmond Axel 4060 Doctorant.e Mail Perifel Sylvain 01 57 27 92 29 4017 Maître.sse de conférence Mail Petri Gustavo 01 57 27 94 01 4021 Maître.sse de conférence Mail Petrisan Daniela 01 57 27 92 21 4029a Post-Doctorant.e Mail Picantin Matthieu 01 57 27 94 49 4043 Maître.sse de conférence Mail Pin Jean-Éric 01 57 27 92 18 4007 Directeur.rice de recherche - CNRS Mail Reiter Fabian 4031 Doctorant.e Mail Rotondo Pablo Doctorant.e Mail Sakarovitch Jacques Directeur.rice de recherche émérite Mail Sangnier Arnaud 01 57 27 92 41 4008 Maître.sse de conférence Mail Serre Olivier 01 57 27 94 18 4029 Directeur.rice de recherche Mail Sighireanu Mihaela 01 57 27 94 01 4021 Maître.sse de conférence Mail Sirangelo Cristina 01 57 27 92 35 4042 Professeur.e Mail Steiner Wolfgang 01 57 27 92 33 4044 Chargé.e de recherche Mail Treinen Ralf 01 57 27 92 44 3021 Professeur.e Mail Wang Chao Post-Doctorant.e Mail Yassawi Reem Membre associé.e Mail Yunès Jean-Baptiste 01 57 27 92 62 4047 Maître.sse de conférence Mail Zielonka Wiesław 01 57 27 94 51 3015 Professeur.e Mail