^Name^@^Phone^Office^Position^Pole^Team^ | [[ https://www.irif.fr/~abbes | Abbes Samy ]] | [[samy.abbes@univ-paris-diderot.fr|@]] | 01 57 27 92 37 | 3046 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~balat | Balat Vincent ]] | [[Vincent.Balat@irif.fr|@]] | 01 57 27 92 58 | 3022 | Maître.sse de conférence - (en disponibilité) | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~mbehr/ | Behr Nicolas ]] | [[Nicolas.Behr@irif.fr|@]] | 01 57 27 92 21 | 4029a | Post-Doctorant.e | [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://www.irif.fr/~gio/index.xhtml | Bernardi Giovanni ]] | [[Giovanni.Bernardi@irif.fr|@]] | 01 57 27 93 38 | 4026 | 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/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~boutier | Boutier Matthieu ]] | [[Matthieu.Boutier@irif.fr|@]] | 01 57 27 92 43 | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~gc | Castagna Giuseppe ]] | [[giuseppe.castagna@univ-paris-diderot.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/systemes/index | systemes ]] | | [[ https://www.irif.fr/~jch | Chroboczek Juliusz ]] | [[Juliusz.Chroboczek@irif.fr|@]] | 01 57 27 92 37 | 3046 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ http://www.dicosmo.org | Di Cosmo Roberto ]] | [[roberto@dicosmo.org|@]] | 01 57 27 92 20 | 4048 | Professeur.e - (en détachement à l'INRIA) | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~finster/ | Finster Eric ]] | [[ericfinster@gmail.com|@]] | 01 57 27 94 30 | 3018 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~gaucher | Gaucher Philippe ]] | [[Philippe.Gaucher@irif.fr|@]] | 01 57 27 92 16 | 3048 | 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/systemes/index | systemes ]] | | [[ https://www.irif.fr/~thib/ | Girka Thibaut ]] | [[Thibaut.Girka@irif.fr|@]] | 01 57 27 92 43 | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~guatto/ | Guatto Adrien ]] | [[Adrien.Guatto@irif.fr|@]] | 01 57 27 94 01 | 4021 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~hamdaoui/ | Hamdaoui Yann ]] | [[Yann.Hamdaoui@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ 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/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~husson/ | Husson Adrien ]] | [[husson@irif.fr|@]] | 01 57 27 92 22 | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://nicolas.jeannerod.fr/ | Jeannerod Nicolas ]] | [[Nicolas.Jeannerod@irif.fr|@]] | 01 57 27 92 22 | 3035 | Doctorant.e avec mission d'enseignement | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~jkrivine | Krivine Jean ]] | [[Jean.Krivine@irif.fr|@]] | 01 57 27 93 38 | 4026 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ http://www.dptinfo.ens-cachan.fr/~vlanvin/ | Lanvin Victor ]] | [[Victor.Lanvin@irif.fr|@]] | 01 57 27 92 22 | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~letouzey | Letouzey Pierre ]] | [[Pierre.Letouzey@irif.fr|@]] | 01 57 27 90 84 | 3028 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ http://jeanjacqueslevy.net | Lévy Jean-Jacques ]] | [[jean-jacques.levy@inria.fr|@]] | 01 57 27 92 68 | 3009 | Directeur.rice de recherche émérite - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~mangin/ | Mangin Cyprien ]] | [[Cyprien.Mangin@irif.fr|@]] | 01 57 27 92 28 | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~petrucciani/ | Petrucciani Tommaso ]] | [[Tommaso.Petrucciani@irif.fr|@]] | 01 57 27 92 22 | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~yrg | Régis-Gianas Yann ]] | [[Yann.Regis-Gianas@irif.fr|@]] | 01 57 27 90 84 | 3028 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~erivas/ | Rivas Exequiel ]] | [[Exequiel.Rivas@irif.fr|@]] | 01 57 27 94 30 | 3018 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ 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/systemes/index | systemes ]] | | [[ https://www.irif.fr/~saurin | 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/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~sozeau | Sozeau Matthieu ]] | [[Matthieu.Sozeau@irif.fr|@]] | 01 57 27 94 15 | 3019 | 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/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~tasson | Tasson Christine ]] | [[Christine.Tasson@irif.fr|@]] | 01 57 27 93 37 | 3040 | Maître.sse de conférence | [[ 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/systemes/index | systemes ]] | | [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~valiron/ | Valiron Benoit ]] | [[Benoit.Valiron@irif.fr|@]] | | | 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/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~vouillon | Vouillon Jérôme ]] | [[Jerome.Vouillon@irif.fr|@]] | 01 57 27 92 58 | 3022 | Chargé.e de recherche - CNRS (en disponibilité) | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://upsilon.cc/~zack/ | Zacchiroli Stefano ]] | [[zack@irif.fr|@]] | 01 57 27 94 15 | 3019 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ http://www.theozimmermann.net | Zimmermann Theo ]] | [[Theo.Zimmermann@irif.fr|@]] | 01 57 27 92 28 | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~deraugla/ | de Rauglaudre Daniel ]] | [[Daniel.de-Rauglaudre@irif.fr|@]] | 01 57 27 90 86 | 3030 | Informaticien.ne | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |