^Nom^@^Téléphone^Bureau^Fonction^Pôle^Équipe^ | [[ https://www.irif.fr/~amadio | Amadio Roberto ]] | [[roberto.amadio@univ-paris-diderot.fr|@]] | 01 57 27 92 47 | 4020 | Professeur.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~arambillete/ | Arambillete Santiago ]] | [[Santiago.Arambillete@irif.fr|@]] | | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~yoannba/ | Barszezak Yoann ]] | [[Yoann.Barszezak@irif.fr|@]] | | 4056 | ATER | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~baudart/ | Baudart Guillaume ]] | [[Guillaume.Baudart@irif.fr|@]] | 01 57 27 94 01 | 4026 | Chargé.e de recherche - INRIA ISFP | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ http://nicolasbehr.com | Behr Nicolas ]] | [[Nicolas.Behr@irif.fr|@]] | 01 57 27 90 85 | 3030 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~gio/index.xhtml | Bernardi Giovanni ]] | [[Giovanni.Bernardi@irif.fr|@]] | 01 57 27 94 29 | 3012 | Maître.sse de conférences | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~buccia | Bucciarelli Antonio ]] | [[Antonio.Bucciarelli@irif.fr|@]] | 01 57 27 94 33 | 3045 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~gc | Castagna Giuseppe ]] | [[Giuseppe.Castagna@irif.fr|@]] | 01 57 27 93 40 | 3039 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~catz/ | Catz Manuel ]] | [[Manuel.Catz@irif.fr|@]] | | 4055 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.i2m.univ-amu.fr/perso/remy.cerda/ | Cerda Remy ]] | [[Remy.Cerda@math.cnrs.fr|@]] | | 3057 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~elmehdi/ | Cherradi El-Mehdi ]] | [[El-Mehdi.Cherradi@irif.fr|@]] | | 4054 | 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/~curien | Curien Pierre-Louis ]] | [[Pierre-Louis.Curien@irif.fr|@]] | 01 57 27 92 23 | 3013 | Directeur.rice de recherche émérite - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~defaveri/ | De Faveri Arturo ]] | [[Arturo.De-Faveri@irif.fr|@]] | | 4033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~didonna/ | Di Donna Raffaele ]] | [[didonna@irif.fr|@]] | | 3010 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~douteau/ | Douteau Sylvain ]] | [[Sylvain.Douteau@irif.fr|@]] | 01 57 27 90 85 | 3030 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~ehrhard | Ehrhard Thomas ]] | [[Thomas.Ehrhard@irif.fr|@]] | 01 57 27 92 17 | 4014a | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ https://www.irif.fr/~faggian | Faggian Claudia ]] | [[Claudia.Faggian@irif.fr|@]] | 01 57 27 90 86 | 3032 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://hugo.feree.fr | Férée Hugo ]] | [[Hugo.Feree@irif.fr|@]] | 01 57 27 94 05 | 4011 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~gallego/ | Gallego Emilio ]] | [[Emilio.Gallego@irif.fr|@]] | 01 57 27 92 68 | 4032 | Starting research position - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://geoffroy.re | Geoffroy Guillaume ]] | [[Guillaume.Geoffroy@irif.fr|@]] | 01 57 27 94 15 | 3019 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~giusti/ | Giusti Giulia ]] | [[Giulia.Giusti@irif.fr|@]] | | 4055 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~guatto/ | Guatto Adrien ]] | [[Adrien.Guatto@irif.fr|@]] | 01 57 27 94 15 | 3019 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ http://pauillac.inria.fr/~herbelin | Herbelin Hugo ]] | [[Hugo.Herbelin@irif.fr|@]] | 01 57 27 90 87 | 3029 | Directeur.rice de recherche - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://xsnow.live | Huang Xuejing ]] | [[Xuejing.Huang@irif.fr|@]] | | 3018 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~joly | Joly Thierry ]] | [[Thierry.Joly@irif.fr|@]] | 01 57 27 92 55 | 3049 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~jubert/ | Jubert Moana ]] | [[Moana.Jubert@irif.fr|@]] | | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~kesner | Kesner Delia ]] | [[Delia.Kesner@irif.fr|@]] | 01 57 27 92 38 | 3020 | Professeur.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.ps.uni-saarland.de/~kirst/ | Kirst Dominik ]] | [[Dominik.Kirst@irif.fr|@]] | | 4053 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~krivine | Krivine Jean-Louis ]] | [[Jean-Louis.Krivine@irif.fr|@]] | 01 57 27 90 87 | 3029 | Professeur.e émérite | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~lancelot/ | Lancelot Adrienne ]] | [[Adrienne.Lancelot@irif.fr|@]] | | 3026 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~letouzey | Letouzey Pierre ]] | [[Pierre.Letouzey@irif.fr|@]] | 01 57 27 93 37 | 3040 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ http://jeanjacqueslevy.net | Lévy Jean-Jacques ]] | [[jean-jacques.levy@inria.fr|@]] | 01 57 27 92 68 | 4032 | Directeur.rice de recherche émérite - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~manara/ | Manara Giulia ]] | [[Giulia.Manara@irif.fr|@]] | | 3014 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~mangel/ | Mangel Eleonore ]] | [[Eleonore.Mangel@irif.fr|@]] | | 3010 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ http://www.irif.fr/~gmanzone/ | Manzonetto Giulio ]] | [[gmanzone@irif.fr|@]] | 01 57 27 93 54 | 4015 | Professeur.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~martinez/ | Martinez Thierry ]] | [[Thierry.Martinez@irif.fr|@]] | 01 57 27 90 87 | 3029 | Ingénieur.e de recherche - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ marzaioli@irif.fr | Marzaioli Miriam ]] | [[Miriam.Marzaioli@irif.fr|@]] | | 4055 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~amathieu/ | Mathieu Adrien ]] | [[adrien.mathieu@irif.fr|@]] | | | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~mellies | Melliès Paul-André ]] | [[mellies@irif.fr|@]] | 01 57 27 92 48 | 3023 | Directeur.rice de recherche - CNRS | [[ 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/equipes/picube/index | picube ]] | | [[ https://www.irif.fr/~milicich/ | Milicich Mariana ]] | [[Mariana.Milicich@irif.fr|@]] | | 3026 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~narboux/ | Narboux Julien ]] | [[Julien.Narboux@irif.fr|@]] | 01 57 27 92 58 | 3022 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~padovani | Padovani Vincent ]] | [[Vincent.Padovani@irif.fr|@]] | 01 57 27 93 39 | 3045 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://boilnkettle.github.io/ | Ramos Miguel ]] | [[Miguel.Ramos@irif.fr|@]] | | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~reboullet/ | Reboullet Sarah ]] | [[Sarah.Reboullet@irif.fr|@]] | | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ https://www.irif.fr/~salibra/ | Salibra Antonino ]] | [[salibra@irif.fr|@]] | 01 57 27 93 39 | 3045 | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/users/saurin/index | Saurin Alexis ]] | [[Alexis.Saurin@irif.fr|@]] | 01 57 27 93 37 | 3040 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ http://gallium.inria.fr/~scherer/ | Scherer Gabriel ]] | [[Gabriel.Scherer@irif.fr|@]] | | 4032 | Chargé.e de recherche - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ http://vanoni.me | Vanoni Gabriele ]] | [[Gabriele.Vanoni@irif.fr|@]] | | 3018 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~vienot/ | Vienot Ada ]] | [[Ada.Vienot@irif.fr|@]] | | 3044 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |