^Name^@^Phone^Office^Position^Pole^Team^ | [[ https://www.irif.fr/~berthe/ | Berthé Valérie ]] | [[Valerie.Berthe@irif.fr|@]] | 01 57 27 93 35 | 4014 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~carton/ | Carton Olivier ]] | [[Olivier.Carton@irif.fr|@]] | 01 57 27 92 54 | 4037 | Professeur.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~pcecchi/ | Cecchi Paulina ]] | [[Paulina.Cecchi@irif.fr|@]] | | 3026 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~cc/ | Choffrut Christian ]] | [[Christian.Choffrut@irif.fr|@]] | 01 57 27 92 26 | 4034 | Professeur.e émérite | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~colcombe/ | Colcombet Thomas ]] | [[Thomas.COLCOMBET@irif.fr|@]] | 01 57 27 94 32 | 3042 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~dolce/ | Dolce Francesco ]] | [[Francesco.Dolce@irif.fr|@]] | | 4053 | ATER - dolce | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~fdurand/ | Durand Fabian ]] | [[Fabian.Durand@irif.fr|@]] | | 4008 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ http://nathanael-fijalkow.github.io/ | Fijalkow Nathanael ]] | [[Nathanael.Fijalkow@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~cf | Frougny Christiane ]] | [[Christiane.FROUGNY@irif.fr|@]] | 01 57 27 94 41 | 4027 | Professeur.e émérite | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~mgehrke/ | Gehrke Mai ]] | [[Mai.Gehrke@irif.fr|@]] | | | Membre associé.e - DR CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~amelie/ | Gheerbrant Amelie ]] | [[Amelie.Gheerbrant@irif.fr|@]] | | 4039 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~seg/ | Grigorieff Serge ]] | [[Serge.Grigorieff@irif.fr|@]] | | 4027 | Membre associé.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~ig/ | Guessarian Irène ]] | [[Irene.GUESSARIAN@irif.fr|@]] | 01 57 27 92 59 | 4049 | Professeur.e émérite | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~haberm | Habermehl Peter ]] | [[Peter.HABERMEHL@irif.fr|@]] | 01 57 27 92 58 | 3022 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~horn/ | Horn Florian ]] | [[Florian.HORN@irif.fr|@]] | 01 57 27 94 46 | 4039 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~klimann/ | Klimann Ines ]] | [[Ines.Klimann@irif.fr|@]] | 01 57 27 94 49 | 4043 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~glagarde/ | Lagarde Guillaume ]] | [[Guillaume.Lagarde@irif.fr|@]] | 01 57 27 92 31 | 4055 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~chaitanya/ | Leena-Subramaniam Chaitanya ]] | [[Chaitanya.Leena-Subramaniam@irif.fr|@]] | 01 57 27 92 28 | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~mellies | Melliès Paul-André ]] | [[mellies@irif.fr|@]] | 01 57 27 92 48 | 3023 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~ohlmann/ | Ohlmann Pierre ]] | [[Pierre.Ohlmann@irif.fr|@]] | 0667368318 | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~osmond/ | Osmond Axel ]] | [[Axel.Osmond@irif.fr|@]] | 01 57 27 94 56 | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~sperifel/ | Perifel Sylvain ]] | [[Sylvain.Perifel@irif.fr|@]] | 01 57 27 92 29 | 4017 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~petrisan/ | Petrisan Daniela ]] | [[Daniela.Petrisan@irif.fr|@]] | 01 57 27 92 21 | 4029a | Membre associé.e - Post-Doctorante | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~picantin/ | Picantin Matthieu ]] | [[picantin@irif.fr|@]] | 01 57 27 94 49 | 4043 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~jep/ | Pin Jean-Éric ]] | [[Jean-Eric.PIN@irif.fr|@]] | 01 57 27 92 18 | 4007 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/users/rotondo/index | Rotondo Pablo ]] | [[rotondo@irif.fr|@]] | | 4053 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~sakarovitch/ | Sakarovitch Jacques ]] | [[Jacques.Sakarovitch@irif.fr|@]] | 01 57 27 92 60 | 4054 | Directeur.rice de recherche émérite - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~serre/ | Serre Olivier ]] | [[Olivier.SERRE@irif.fr|@]] | 01 57 27 94 18 | 4029 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~cristina/ | Sirangelo Cristina ]] | [[Cristina.Sirangelo@irif.fr|@]] | 01 57 27 92 35 | 4042 | Professeur.e - Cristina.Sirangelo@irif.fr | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~steiner/ | Steiner Wolfgang ]] | [[Wolfgang.Steiner@irif.fr|@]] | 01 57 27 92 33 | 4044 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~ryassawi/ | Yassawi Reem ]] | [[Reem.Yassawi@irif.fr|@]] | 01 57 27 92 59 | 4049 | Membre associé.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~yunes/ | Yunès Jean-Baptiste ]] | [[Jean-Baptiste.Yunes@irif.fr|@]] | 01 57 27 92 62 | 4047 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ http://zetzsche.xyz/ | Zetzsche Georg ]] | [[zetzsche@irif.fr|@]] | 01 57 27 94 07 | 4032 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~zielonka | Zielonka Wiesław ]] | [[Wieslaw.Zielonka@irif.fr|@]] | 01 57 27 94 51 | 3015 | Professeur.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |