Name@PhoneOfficePositionPoleTeam Asarin Eugène @ 01 57 27 92 34 4040 Professeur.e ASV verif Beillahi Sidi-Mohamed @ 4060 Doctorant.e ASV verif Bernardi Giovanni @ 01 57 27 93 38 4026 Maître.sse de conférence PPS , ASV preuves , systemes , verif Berthé Valérie @ 01 57 27 93 35 4014 Directeur.rice de recherche - CNRS ASV , ASD automates , combi Biswas Ranadeep @ 07 69 97 44 12 4060 Doctorant.e ASV verif Bouajjani Ahmed @ 01 57 27 92 64 4023 Professeur.e ASV verif Bouillaguet Quentin @ 4021 Doctorant.e ASV verif Carton Olivier @ 01 57 27 92 54 4037 Professeur.e ASV automates Cauderlier Raphael @ 4058 Post-Doctorant.e ASV verif Cecchi Paulina @ 3026 Doctorant.e ASV , ASD automates , combi Choffrut Christian @ 01 57 27 92 26 4034 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érence ASV verif Delbianco German-Andres @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif Dolce Francesco @ 4053 ATER - dolce ASV , ASD automates , combi Durand Fabian @ 4008 Maître.sse de conférence ASV automates Enea Constantin @ 01 57 27 92 41 4028a Maître.sse de conférence ASV verif Fang Bin @ 07 68 79 02 80 4061 Doctorant.e ASV verif Fijalkow Nathanael @ Membre associé.e ASV automates Frougny Christiane @ 01 57 27 94 41 4027 Professeur.e émérite ASV , ASD automates , combi Gehrke Mai @ Membre associé.e - DR CNRS ASV automates Gheerbrant Amelie @ 4039 Maître.sse de conférence ASV automates Grigorieff Serge @ 4027 Membre associé.e ASV automates Guessarian Irène @ 01 57 27 92 59 4049 Professeur.e émérite ASV automates , verif Habermehl Peter @ 01 57 27 92 58 3022 Maître.sse de conférence ASV automates , verif Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , verif Jeannerod Nicolas @ 01 57 27 92 22 3035 Doctorant.e avec mission d'enseignement PPS , ASV systemes , verif Ji Kailiang @ 01 57 27 92 60 4057 Post-Doctorant.e ASV verif Klimann Ines @ 01 57 27 94 49 4043 Maître.sse de conférence ASV automates Lagarde Guillaume @ 01 57 27 92 31 4055 Doctorant.e ASV , ASD automates , algocomp Laroussinie François @ 01 57 27 92 42 4004 Professeur.e ASV verif Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3034 Doctorant.e ASV , PPS automates , algebre , preuves Long Teng @ 01 57 27 92 60 4054 Visiteur.euse ASV verif Melliès Paul-André @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS , ASV algebre , automates , preuves Ohlmann Pierre @ 0667368318 3035 Doctorant.e ASV automates Osmond Axel @ 01 57 27 94 56 4060 Doctorant.e ASV , PPS automates , algebre , preuves Perifel Sylvain @ 01 57 27 92 29 4017 Maître.sse de conférence ASV , ASD automates , algocomp Petri Gustavo @ 01 57 27 94 01 4021 Maître.sse de conférence - (en disponibilité) ASV verif Petrisan Daniela @ 01 57 27 92 21 4029a Membre associé.e - Post-Doctorante ASV automates Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférence PPS , ASV algebre , automates Pin Jean-Éric @ 01 57 27 92 18 4007 Directeur.rice de recherche - CNRS ASV automates Pommellet Adrien @ 01 57 27 92 27 4052 ATER ASV verif Rotondo Pablo @ 4053 Doctorant.e ASV , ASD automates , combi Sakarovitch Jacques @ 01 57 27 92 60 4054 Directeur.rice de recherche émérite - CNRS ASV automates Sangnier Arnaud @ 01 57 27 92 58 3022 Maître.sse de conférence ASV verif Serre Olivier @ 01 57 27 94 18 4029 Directeur.rice de recherche - CNRS ASV automates Sighireanu Mihaela @ 01 57 27 94 01 4021 Maître.sse de conférence ASV verif Sirangelo Cristina @ 01 57 27 92 35 4042 Professeur.e - Cristina.Sirangelo@irif.fr ASV automates Steiner Wolfgang @ 01 57 27 92 33 4044 Chargé.e de recherche - CNRS ASV , ASD automates , combi Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV systemes , verif Wang Chao @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif Yassawi Reem @ 01 57 27 92 59 4049 Membre associé.e ASV automates Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférence ASV automates Zetzsche Georg @ 01 57 27 94 07 4032 Post-Doctorant.e ASV automates Zielonka Wiesław @ 01 57 27 94 51 3015 Professeur.e ASV automates