• INFORMATIONS
    • Présentation
    • Contacts et accès
    • Charte des membres de l’IRIF
    • Égalités
    • Environnement
    • Annuaire
    • Programme de mentorat
    • Childcare program
    • Évaluation HCERES - 28 au 30 Novembre 2023 (vague D)
  • RECHERCHE
    • Algorithmes et structures discrètes
    • Algorithmes et complexité
    • Calcul distribué
    • Combinatoire
    • Théorie et algorithmique des graphes
    • Automates, structures et vérification
    • Automates et applications
    • Modélisation et vérification
    • Preuves, programmes et systèmes
    • Algèbre et calcul
    • Programmes et Langages (PL)
    • Preuves et programmes
    • Picube (Inria)
    • PUBLICATIONS (hal)
  • ÉVÉNEMENTS
    • Evénements de l'IRIF
    • IRIF Distinguished Talks Series
    • Journées de l'IRIF
    • Rencontres de pôles
    • Séminaires de recherche
    • Algorithmes et complexité
    • Algorithmes et structures discrètes
    • Automates
    • Combinatoire énumérative et analytique
    • Séminaire Formath (Formalized Mathematics)
    • Graphes et calcul distribué
    • Preuves, programmes et systèmes
    • Vérification
    • Séminaire des membres non-permanents
    • Séminaires en ligne
    • Graph Transformation Theory and Applications
    • One world numeration seminar
    • Groupes de travail
    • Catégories supérieures, polygraphes et homotopie
    • Graphes et Logique
    • La syntaxe rencontre la sémantique
    • La théorie des types et la théorie de l'homotopie
    • Logique, automates, algèbre et jeux
    • Programmation
    • Sémantique
    • Théorie des Topos
    • Théorie des types et réalisabilité
    • Soutenances
    • Soutenances de thèses
    • Soutenances d'habilitation
  • MÉDIATION
    • Fête de la Science
    • Conférence vidéo “Manuel de Cryptanalyse à l’usage de la NSA”
    • Stages scolaires d’observation
    • Portraits de recherche
    • Exposition 50 ans
    • Projet QuBOBS (quantum computing explained)
  • POINTS CLÉS
    • Prix et distinctions
    • Logiciels
    • Contrats
    • Collaborations internationales
    • L'école thématique EPIT
    • Formation
  • REJOIGNEZ-NOUS
    • Programme visiteurs
    • Postes soutien à la recherche
    • Enseignant·e·s-chercheurs·euses
    • Chercheurs·euses
    • Postdocs
    • ATER
    • Thèses
    • Stages de master
    • Stages scolaires d’observation
  • INTRANET
  • Traductions de cette page
    • Traductions de cette page
    • frFrançais
    • enEnglish
  • S'identifier

Nom@TéléphoneBureauFonctionPôleÉquipe
Bermot Elie @ 4059 Doctorant.e ASD algocomp
Braida Arthur @ 4053 Post-Doctorant.e ASD algocomp
Braun Lennart @ 3057 Post-Doctorant.e ASD algocomp
Bui Thi-Thuy-Dung @ 3014 Visiteur.euse ASD algocomp
Edenhofer Roman @ 4059 Doctorant.e ASD algocomp
Experton Samuel @ 06 95 12 94 76 3034 Ingénieur d'étude ASD algocomp
Karantaidou Ioanna @ 4058 Post-Doctorant.e ASD algocomp
Kayal Chandrima @ 4056 Post-Doctorant.e ASD algocomp
Lechine Ulysse @ 3028 Post-Doctorant.e ASD algocomp
Mathieu-Bloise Benjamin @ 4059 Doctorant.e ASD algocomp
Melissaris Nikolas @ 4058 Post-Doctorant.e ASD algocomp
Migliaro Francesco @ 4017 Visiteur.euse ASD algocomp
Natansh Mathur @ 4056 Doctorant.e ASD algocomp
Nematollahi Shamisa @ 4031 Doctorant.e ASD algocomp
Objois Etienne @ 3033 Doctorant.e ASD algocomp , graphes
Pu Sihang @ 3057 Post-Doctorant.e ASD algocomp
Riahinia Mahshid @ Visiteur.euse ASD algocomp
Sellier Francois @ Doctorant.e ASD algocomp
Serandour Antoine @ Stagiaire ASD algocomp
Sevic Irina @ Stagiaire ASD algocomp , distribue
Simonnet William @ Stagiaire ASD algocomp
Szabo Daniel @ 4059 Doctorant.e ASD algocomp
Tudor Ivan @ Stagiaire ASD algocomp
Zhao Junyao @ 4053 Post-Doctorant.e ASD algocomp
Ziccardi Isabella @ 4053 Post-Doctorant.e ASD algocomp , distribue
Zur Sebastian @ 4059 Post-Doctorant.e ASD algocomp
van Wijland Ernest @ 4055 Doctorant.e ASD algocomp

Mentions légales