^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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~baudart/ | Baudart Guillaume ]] | [[Guillaume.Baudart@irif.fr|@]] | | 4026 | Chargé.e de recherche - INRIA ISFP | [[ 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/equipes/picube/index | picube ]] | | [[ 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 93 38 | 4021 | 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ 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@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/~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/~douteau/ | Douteau Sylvain ]] | [[Sylvain.Douteau@irif.fr|@]] | | 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/systemes/index | systemes ]], [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ 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/~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/systemes/index | systemes ]], [[ 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/systemes/index | systemes ]] | | [[ 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/~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/~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/systemes/index | systemes ]], [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ 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/~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/~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/~roziere | Rozière Paul ]] | [[Paul.Roziere@irif.fr|@]] | 01 57 27 92 57 | 3057 | Retraité.e - MCF Université Paris Cité | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ 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/systemes/index | systemes ]], [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] |