• INFORMATION
    • Presentation
    • Contact and access
    • IRIF Members Charter
    • Equality
    • Environment
    • Directory
    • IRIF’s mentoring program
    • Childcare program
  • RESEARCH
    • Algorithms and discrete structures
    • Algorithms and complexity
    • Combinatorics
    • Distributed computing
    • Theory and algorithmics of graphs
    • Automata, structures and verification
    • Automata and applications
    • Modeling and verification
    • Proofs, programs and systems
    • Algebra and computation
    • Programs and Languages (PL)
    • Proofs and programs
    • Picube (Inria)
    • PUBLICATIONS (hal)
  • EVENTS
    • IRIF events
    • Algebraic aspects of symbolic dynamics 2026
    • IRIF Distinguished Talks Series
    • IRIF days
    • IRIF and environment group
    • Pole meetings
    • SymDynAr Roscoff 2026
    • Research seminars
    • Algorithms and complexity
    • Algorithms and discrete structures
    • Automata
    • Enumerative and analytic combinatorics
    • Formath
    • Graph theory
    • Non-permanent members’ seminar
    • Proofs, programs and systems
    • Verification
    • Online seminars
    • Graph Transformation Theory and Applications
    • One world numeration seminar
    • Working groups
    • Graphs and Logic
    • Higher categories, polygraphs and homotopy
    • Logic, automata, algebra and games
    • Programming
    • Realizability toposes
    • Semantics
    • Syntax Meets Semantics
    • Type theory and homotopy theory
    • Type theory and realisability
    • Defences
    • PhD defences
    • Habilitation defences
  • MEDIATION
    • Fête de la Science
    • Middle/High school internships
    • Research profiles
    • 50 Years Exhibitation
    • Projet QuBOBS (quantum computing explained)
  • HIGHLIGHTS
    • Awards and Honors
    • Software
    • Grants
    • International Collaborations
    • The EPIT Research School
    • Academics
  • JOIN US
    • Visitor program
    • Research support position
    • Faculty members
    • Researchers
    • Postdocs
    • Teaching assistants
    • PhD Studies
    • Master Internships
    • Middle/High school internships
  • INTRANET
  • Translations of this page
    • Translations of this page
    • frFrançais
    • enEnglish
  • Log In

Profiles of newcomers

  • Entretien avec Hugo Herbelin et Paul-André Melliès, directeurs de recherche Inria à l'IRIF, qui ont obtenu un financement pour leur projet ERC Synergie
  • Rencontre avec Cléophée Robin, nouvelle maîtresse de conférence à l'IRIF
  • Rencontre avec Julien Narboux, nouveau maître de conférence à l'IRIF
  • Rencontre avec Christina Boura, professeure des universités
  • Rencontre avec Alexandre Roulois, nouvel informaticien du laboratoire, chargé web et assistance utilisateur
  • Meeting with Michele Orrù, CNRS researcher at IRIF
  • Rencontre avec Tayssir Touili, directrice de recherche
  • Rencontre avec David Saulpic, chargé de recherche
  • Rencontre avec Guillaume Baudart, chargé de recherche
  • Rencontre avec Gabriel Scherer, chargé de recherche
  • Rencontre avec Giulio Manzonetto, professeur des universités
  • Rencontre avec Vincent Jugé, maître de conférence
  • Interview with Sarah Winter, associate professor at IRIF, Université Paris Cité
  • 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 Matěj Stehlík, professeur en informatique à l'Université Paris Cité

Profiles of some PhD students

  • Maël Luce, ancien doctorant à l'Irif : démêler les nœuds des réseaux de communication
  • Srinidhi Nagendra, former PhD student at IRIF: the tester of distributed programs
  • Klara Nosan, ancienne doctorante à l'Irif : les problèmes de zéros dans les modèles polynomiaux
  • Robin Vacus, ancien doctorant à l'Irif : quand les systèmes complexes tentent de résoudre des problèmes de biologie
  • Gaëtan Douéneau-Tabot, ancien doctorant à l'Irif : optimiser pour toujours plus d'efficacité
  • Filippo Brunelli, former PhD student at IRIF: For whom graphs and algorithms have no secrets.
  • Aliaume Lopez, ancien doctorant à l’Irif : entre logique et topologie
  • Guillaume Aubian, ancien doctorant à l'Irif : le défi des graphes colorés
  • Simona Etinski, former PhD student at IRIF: decoding the hardest protocols
  • Weiqiang Yu, former PhD student at IRIF: A world full of graphs
  • 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

Women in Science

  • Monika Csikos, assistant professor in Algorithms and discrete structures pole
  • Mariana Milicich, PhD student in the Proofs, programs and systems pole
  • Lélia Blin, professeure des universités dans le pôle Algorithmes et structures discrètes
  • 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

Portraits of project leaders

  • Entretien avec Valérie Berthé, directrice de recherche CNRS à l'IRIF, qui a obtenu un financement pour son projet ERC Synergie
  • Entretien avec Thomas Ehrhard, co-lauréat du Prix Alonzo Church 2024
  • Meeting with the founder of the QueeRIF meeting
  • Claire Mathieu : une scientifique engagée, démissionnaire du Conseil présidentiel de la science
  • Entretien avec Geoffroy Couteau, chargé de recherche au CNRS, qui a obtenu un financement pour son projet ERC

Visitors portraits

  • Interview with Omer Reingold, professor of computer science, for a Distinguished Talk on algorithmique fairness
  • Interview with Véronique Cortier, CNRS research director at LORIA, for the 1st Distinguished Talk of 2024 on Electronic voting
  • Interview with Simon Peyton Jones, Engineering Fellow at Epic Games, first speaker of the DTS event of 2023
  • Rencontre avec Lauren K. Williams, en visite à l'IRIF pour une année
  • Interview with Sergio Rajsbaum, one-year visitor at IRIF

Mentions légales