• 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
    • IRIF Distinguished Talks Series
    • IRIF days
    • Pole meetings
    • IRIF and environment group
    • Research seminars
    • Algorithms and complexity
    • Algorithms and discrete structures
    • Automata
    • Enumerative and analytic combinatorics
    • Graphs and distributed computing
    • Formath
    • Proofs, programs and systems
    • Verification
    • Non-permanent members’ seminar
    • 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
    • Semantics
    • Syntax Meets Semantics
    • Topos Theory
    • 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

Name@PhoneOfficePositionPoleTeam
Bermot Elie @ 4059 PhD Student ASD algocomp
Braida Arthur @ 4053 Post-Doc ASD algocomp
Braun Lennart @ 3057 Post-Doc ASD algocomp
Bui Thi-Thuy-Dung @ 3014 Visitor ASD algocomp
Edenhofer Roman @ 4059 PhD Student ASD algocomp
Experton Samuel @ 06 95 12 94 76 3034 Study ingenior ASD algocomp
Karantaidou Ioanna @ 4058 Post-Doc ASD algocomp
Kayal Chandrima @ 4056 Post-Doc ASD algocomp
Lechine Ulysse @ 3028 Post-Doc ASD algocomp
Mathieu-Bloise Benjamin @ 4059 PhD Student ASD algocomp
Melissaris Nikolas @ 4058 Post-Doc ASD algocomp
Migliaro Francesco @ 4017 Visitor ASD algocomp
Natansh Mathur @ 4056 PhD Student ASD algocomp
Nematollahi Shamisa @ 4031 PhD Student ASD algocomp
Objois Etienne @ 3033 PhD Student ASD algocomp , graphes
Pu Sihang @ 3057 Post-Doc ASD algocomp
Riahinia Mahshid @ Visitor ASD algocomp
Sellier Francois @ PhD Student ASD algocomp
Serandour Antoine @ Intern ASD algocomp
Sevic Irina @ Intern ASD algocomp , distribue
Simonnet William @ Intern ASD algocomp
Szabo Daniel @ 4059 PhD Student ASD algocomp
Tudor Ivan @ Intern ASD algocomp
Zhao Junyao @ 4053 Post-Doc ASD algocomp
Ziccardi Isabella @ 4053 Post-Doc ASD algocomp , distribue
Zur Sebastian @ 4059 Post-Doc ASD algocomp
van Wijland Ernest @ 4055 PhD Student ASD algocomp

Mentions légales