<datatables page-length="-1" dom="frt">
^Nom^@^Téléphone^Bureau^Fonction^Pôle^Équipe^
| [[ https://www.irif.fr/~abbes | Abbes Samy ]] | [[samy.abbes@univ-paris-diderot.fr|@]] | 01 57 27 92 37 | 3046 | 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/~aitmoussa/ | Ait-Moussa Djamel ]] | [[Djamel.Ait-Moussa@irif.fr|@]] |  | 3060 | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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://quentin.aristote.fr/ | Aristote Quentin ]] | [[Quentin.Aristote@irif.fr|@]] |  | 3010 | 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/picube/index | picube ]] |
| [[ 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/~boura/ | Boura Christina ]] | [[Christina.Boura@irif.fr|@]] | 01 57 27 92 39 | 3008 | Professeur.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ 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/~calandra/ | Calandra Federico ]] | [[Federico.Calandra@irif.fr|@]] |  | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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/~chikhoune/ | Chikhoune Idir ]] | [[Idir.Chikhoune@irif.fr|@]] |  |  | Visiteur.euse | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]] |
| [[ https://www.irif.fr/~coutereel/ | Coutereel Marie ]] | [[Marie.Coutereel@irif.fr|@]] |  | 3060 | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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/~dagand/ | Dagand Pierre-Evariste ]] | [[Pierre-Evariste.Dagand@irif.fr|@]] | 01 57 27 94 29 | 3012 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]] |
| [[ 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/~diguardia/ | Di-Guardia Remi ]] | [[Remi.Di-Guardia@irif.fr|@]] |  | 3028 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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/~gduboc/ | Duboc Guillaume ]] | [[Guillaume.Duboc@irif.fr|@]] |  | 3010 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]] |
| [[ 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/~erlich/ | Erlich Enzo ]] | [[Enzo.Erlich@irif.fr|@]] |  | 3014 | 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/~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://www.irif.fr/~gaucher | Gaucher Philippe ]] | [[Philippe.Gaucher@irif.fr|@]] | 01 57 27 92 55 | 3049 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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/~kniazev/ | Kniazev Roman ]] | [[Roman.Kniazev@irif.fr|@]] |  | 3018 | ATER | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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/~jkrivine | Krivine Jean ]] | [[Jean.Krivine@irif.fr|@]] | 01 57 27 94 41 | 4027 | 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/~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/~ledent/ | Ledent Jeremy ]] | [[jeremy.ledent@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/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/distribue/index | distribue ]] |
| [[ 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/~glopez/ | Lopez Gaetan ]] | [[Gaetan.Lopez@irif.fr|@]] |  | 4059 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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/~metayer | Métayer François ]] | [[Francois.Metayer@irif.fr|@]] | 01 57 27 94 29 | 3012 | Maître.sse de conférences émérite - Université Paris Nanterre | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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/~moreau/ | Moreau Vincent ]] | [[moreau@irif.fr|@]] |  | 4033 | 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/picube/index | picube ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ 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/~yndiaye/ | Ndiaye Yves ]] | [[Yves.Ndiaye@irif.fr|@]] |  | 4031 | Ingénieur d'étude | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]] |
| [[ https://www.irif.fr/~astyax/ | Nourel Astyax ]] | [[Astyax.Nourel@irif.fr|@]] |  | 3044 | ATER | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]] |
| [[ 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://www.irif.fr/~petrisan/ | Petrisan Daniela ]] | [[Daniela.Petrisan@irif.fr|@]] | 01 57 27 94 00 | 4016 | 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/automates/index | automates ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~picantin/ | Picantin Matthieu ]] | [[picantin@irif.fr|@]] | 01 57 27 94 49 | 4043 | Maître.sse de conférences | [[ 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/~quennet/ | Quennet Titouan ]] | [[Titouan.Quennet@irif.fr|@]] |  | 3060 | Stagiaire | [[ 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://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/~ruet | Ruet Paul ]] | [[Paul.Ruet@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/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] |
| [[ 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 ]] |
| [[ https://www.irif.fr/~tarantino/ | Tarantino Umberto ]] | [[Umberto.Tarantino@irif.fr|@]] |  | 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/~theron/ | Theron Clement ]] | [[Clement.Theron@irif.fr|@]] |  | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://www.irif.fr/~treinen | Treinen Ralf ]] | [[Ralf.Treinen@irif.fr|@]] | 01 57 27 92 44 | 3021 | Professeur.e | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ 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/~jviennot/ | Viennot Jules ]] | [[Jules.Viennot@irif.fr|@]] |  | 3044 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]] |
| [[ 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 ]] |
| [[ https://www.irif.fr/~walch/ | Walch Aymeric ]] | [[Aymeric.Walch@irif.fr|@]] |  | 3026 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ http://www.samvangool.net | van Gool Sam ]] | [[vangool@irif.fr|@]] | 01 57 27 94 05 | 4011 | 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/automates/index | automates ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
</datatables>