• INFORMATIONS
    • Présentation
    • Contacts et accès
    • Charte des membres de l’IRIF
    • Egalité Femmes-Hommes
    • Annuaire
    • Programme de mentorat
  • 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
    • Analyse et conception de systèmes
    • 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
    • Commission IRIF et environnement
    • 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
    • Analyse et conception de systèmes
    • Catégories supérieures, polygraphes et homotopie
    • La syntaxe rencontre la sémantique
    • Logique, automates, algèbre et jeux
    • Programmation
    • Sémantique
    • 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
  • OPPORTUNITÉS
    • Programme visiteurs
    • 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

Portraits des nouveaux arrivants

  • Rencontre avec Marie Albenque, directrice de recherche au CNRS
  • Interview with Simon Apers, CNRS Research Scientist at IRIF
  • Rencontre avec Pierre-Evariste Dagand, chargé de recherche CNRS
  • Rencontre avec Sylvain Douteau, maître de conférences à l’Université Paris Cité
  • Rencontre avec Mirna Džamonja, lauréate d’une bourse individuelle Marie CURIE
  • Rencontre avec Mohammed Foughali, maître de conférences à l’Université Paris Cité
  • Rencontre avec Guillaume Geoffroy, maître de conférences à l’Université Paris Cité
  • Rencontre avec Lauren K. Williams, en visite à l'IRIF pour une année
  • Interview with Sergio Rajsbaum, one-year visitor at IRIF
  • Rencontre avec Matěj Stehlík, professeur en informatique à l'Université Paris Cité

Portraits de doctorants, doctorantes et postdocs

  • Abhishek De, former PhD student at IRIF: A look into infinite proofs
  • Gaëtan Douéneau-Tabot, lauréat de deux prix étudiant
  • Farzad Jafarrahmani, former PhD student at IRIF: About mathematical logic
  • Jonas Landman, lauréat d’un prix solennel de thèse de la chancellerie des Universités de Paris
  • Victor Lanvin, lauréat d’un prix de thèse Génie de la Programmation et du Logiciel 2022 et ancien doctorant à l’IRIF
  • Baptiste Louf, lauréat d’un prix solennel de thèse de la chancellerie des Universités de Paris
  • Klara Nosan, doctorante dans le pôle Automates, structures et vérification
  • Anna Vanden Wyngaerd, post-doctorante dans le pôle Algorithmes et structures discrètes
  • Ada VIENOT, doctorante dans le pôle Preuves, Programmes et Systèmes

Mentions légales