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