^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://aalertubella.com/ | Aler Andrea ]] | [[Andrea.Aler@irif.fr|@]] | | 3018 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ 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/~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/~pbb/ | Barenbaum Pablo ]] | [[Pablo.Barenbaum@irif.fr|@]] | 01 57 27 92 92 | 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/~batmalle/ | Batmalle Hadrien ]] | [[Hadrien.Batmalle@irif.fr|@]] | 01 57 27 92 43 | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ 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/~berline | Berline Chantal ]] | [[Chantal.Berline@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ 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/~vblot/ | Blot Valentin ]] | [[Valentin.Blot@irif.fr|@]] | | | 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/~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/~buccia | Bucciarelli Antonio ]] | [[Antonio.Bucciarelli@irif.fr|@]] | 01 57 27 94 33 | 3045 | 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/~burroni | Burroni Albert ]] | [[Albert.Burroni@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ http://www.normalesup.org/~cagne/ | Cagne Pierre ]] | [[Pierre.Cagne@irif.fr|@]] | 01 57 27 92 92 | 3044 | Doctorant.e avec mission d'enseignement | [[ 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@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/~chouquet/ | Chouquet Jules ]] | [[Jules.Chouquet@irif.fr|@]] | 01 57 27 90 86 | 3032 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ 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 ]] | | [[ https://www.irif.fr/~rcrubille/ | Crubillé Raphaëlle ]] | [[Raphaelle.Crubille@irif.fr|@]] | 01 57 27 92 43 | 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/~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://dehornoy.users.lmno.cnrs.fr/ | Dehornoy Patrick ]] | [[Patrick.Dehornoy@irif.fr|@]] | 01 57 27 92 55 | 3049 | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~bdelcroix/ | Delcroix-Oger Berenice ]] | [[Berenice.Delcroix-Oger@irif.fr|@]] | 01 57 27 92 45 | 3041 | Maître.sse de conférence | [[ 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/combi/index | combi ]] | | [[ 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/~faggian | Faggian Claudia ]] | [[Claudia.Faggian@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://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/~sforest/ | Forest Simon ]] | [[Simon.Forest@irif.fr|@]] | | | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~fregier/ | Frégier Yaël ]] | [[yael.fregier@gmail.com|@]] | 01 57 27 92 41 | 4008b | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~zgalal/ | Galal Zeinab ]] | [[Zeinab.Galal@irif.fr|@]] | 01 57 27 90 86 | 3032 | 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/~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/~ugerard/ | Gerard Ulysse ]] | [[Ulysse.Gerard@irif.fr|@]] | 0604061587 | 3044 | ATER | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ 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/~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/~guetta/ | Guetta Leonard ]] | [[Leonard.Guetta@irif.fr|@]] | 01 57 27 90 86 | 3032 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ 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 ]] | | [[ 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://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/~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://www.irif.fr/~c.jacq/ | Jacq Clément ]] | [[Clement.Jacq@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e avec mission d'enseignement | [[ 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://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/~joly | Joly Thierry ]] | [[Thierry.Joly@irif.fr|@]] | 01 57 27 90 88 | 3007 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~kasterovic/ | Kasterovic Simona ]] | [[Simona.Kasterovic@irif.fr|@]] | | 3055 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~kerjean/ | Kerjean Marie ]] | [[kerjean@irif.fr|@]] | 01 57 27 94 16 | 3044 | Doctorant.e avec mission d'enseignement | [[ 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/~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.irif.fr/~krivine | Krivine Jean-Louis ]] | [[Jean-Louis.Krivine@irif.fr|@]] | 01 57 27 92 39 | 3008 | 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 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/~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/~leivant/ | Leivant Daniel ]] | [[Daniel.Leivant@irif.fr|@]] | | | Membre associé.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 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/~leventis/ | Leventis Thomas ]] | [[leventis@irif.fr|@]] | | | ATER | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ 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 | 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 ]] | | [[ 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/~metayer | Métayer François ]] | [[Francois.Metayer@irif.fr|@]] | 01 57 27 94 29 | 3012 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ 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/~nollet/ | Nollet Remi ]] | [[Remi.Nollet@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e avec mission d'enseignement | [[ 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/~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/~padovani | Padovani Vincent ]] | [[Vincent.Padovani@irif.fr|@]] | 01 57 27 93 39 | 3045 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~pagani/ | Pagani Michele ]] | [[pagani@irif.fr|@]] | 01 57 27 92 56 | 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/~parigot | Parigot Michel ]] | [[Michel.Parigot@irif.fr|@]] | 01 57 27 92 51 | 3047 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ 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/~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/~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/~roziere | Rozière Paul ]] | [[Paul.Roziere@irif.fr|@]] | 01 57 27 92 57 | 3057 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ 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 ]] | | [[ 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 ]] | | [[ https://stefanesco.com | Stefanesco Leo ]] | [[Leo.Stefanesco@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e avec mission d'enseignement | [[ 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/~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 ]] |