^Name^@^Phone^Office^Position^Pole^Team^ | [[ https://www.irif.fr/~allioux/ | Allioux Antoine ]] | [[antoine.allioux@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/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 - CNRS | [[ 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/~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/~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/~guiraud | Guiraud Yves ]] | [[yves.guiraud@irif.fr|@]] | 01 57 27 94 29 | 3012 | 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 ]] | | [[ 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://chothanh.wordpress.com/ | Ho Thanh Cédric ]] | [[cedric.hothanh@irif.fr|@]] | | 3032 | Doctorant.e avec mission d'enseignement | [[ 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/preuves/index | preuves ]] | | [[ 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/~malbos/ | Malbos Philippe ]] | [[malbos@math.univ-lyon1.fr|@]] | 01 57 27 94 29 | 3012 | Membre associé.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/~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 ]] | | [[ http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/ | Mimram Samuel ]] | [[Samuel.Mimram@irif.fr|@]] | | | Membre associé.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/~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/~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 ]] | | [[ http://assert-false.net/arnaud/ | Spiwack Arnaud ]] | [[arnaud@spiwack.net|@]] | | | Membre associé.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/preuves/index | preuves ]] | | [[ 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 ]] |