Équipe thématique Pôle Preuves, programmes et systèmes Nothing. Algèbre et calcul Responsable Christine Tasson Thèmes de recherche TBA Annuaire NomTéléphoneBureauFonctionMail Abbes Samy 01 57 27 92 37 3046 Maître.sse de conférence Mail Barenbaum Pablo 01 57 27 92 92 3026 Doctorant.e Mail Batmalle Hadrien 01 57 27 92 43 3033 Doctorant.e Mail Behr Nicolas 4029a Post-Doctorant.e Mail Bucciarelli Antonio 01 57 27 94 33 3045 Maître.sse de conférence Mail Burroni Albert Membre associé.e Mail Cagne Pierre 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement Mail Chouquet Jules Doctorant.e Mail Claret Guillaume 01 57 27 92 28 3034 Doctorant.e Mail Crubillé Raphaëlle 01 57 27 92 43 3033 Doctorant.e Mail Curien Pierre-Louis 01 57 27 92 23 3013 Directeur.rice de recherche - CNRS Mail Dehornoy Patrick 01 57 27 92 55 3049 Membre associé.e Mail Delcroix-Oger Berenice 01 57 27 92 45 3041 Maître.sse de conférence Mail Ehrhard Thomas 01 57 27 92 17 3012 Directeur.rice de recherche - CNRS Mail Favro Giordano 01 57 27 90 86 3032 Doctorant.e Mail Finster Eric Post-Doctorant.e Mail Forest Simon Doctorant.e Mail Frégier Yaël Membre associé.e Mail Galal Zeinab Doctorant.e Mail Gaucher Philippe 01 57 27 92 16 3048 Chargé.e de recherche - CNRS Mail Guetta Leonard 01 57 27 90 86 3032 Doctorant.e Mail Guiraud Yves 01 57 27 94 29 3010 Chargé.e de recherche - INRIA Mail Herbelin Hugo 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA Mail Ho-Thanh Cedric 3032 Doctorant.e avec mission d'enseignement Mail Jaber Guilhem 01 57 27 94 30 3018 Post-Doctorant.e Mail Jacq Clément 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement Mail Kerjean Marie 01 57 27 94 16 3044 Doctorant.e avec mission d'enseignement Mail Kesner Delia 01 57 27 92 38 3025 Professeur.e Mail Krivine Jean-Louis 01 57 27 92 39 3008 Professeur.e émérite Mail Leena-Subramaniam Chaitanya 3034 Doctorant.e Mail Leivant Daniel Membre associé.e Mail Lucas Maxime 01 57 27 90 86 3032 Doctorant.e Mail Malbos Philippe Membre associé.e Mail Mangin Cyprien 01 57 27 92 28 3034 Doctorant.e Mail Melliès Paul-Andre 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail Métayer François 01 57 27 94 29 3010 Maître.sse de conférence Mail Mimram Samuel Membre associé.e Mail Miquey Étienne 01 57 27 92 22 3035 Doctorant.e Mail Nollet Remi 3026 Doctorant.e Mail Osmond Axel 4060 Doctorant.e Mail Pagani Michele 01 57 27 92 56 4015 Professeur.e Mail Picantin Matthieu 01 57 27 94 49 4043 Maître.sse de conférence Mail Ruet Paul 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail Saurin Alexis 01 57 27 93 37 3040 Chargé.e de recherche - CNRS Mail Sozeau Matthieu 01 57 27 94 15 3019 Chargé.e de recherche - INRIA Mail Stefanesco Leo 3026 Doctorant.e Mail Tasson Christine 01 57 27 93 37 3040 Maître.sse de conférence Mail Valiron Benoit 3018 Membre associé.e Mail Vial Pierre 01 57 27 92 92 3026 Doctorant.e Mail