Guilhem Jaber

Guilhem Jaber is an Associate Professor at University of Nantes, affiliated with the Gallinette team in the LS2N research laboratory. His work focuses on operational game semantics, contextual equivalence, and formal verification of higher-order programs with computational effects.

• Research Grants
  • RECIPROG (2021-2025): ANR PRC Project, local coordinator
  • CAVOC (2021-2025): Inria-Nomadic Labs agreement, project investigator
  • CANofGAS (2022-2025): Inria Exploratory Action, co-investigator
• Scientific Awards
  • Distinguished Paper Award at ICFP'21
• Supervision
  • Axel Kerinec: Postdoc on CANofGAS project
  • Hamza Jaafar: PhD on CAVOC project
  • Peio Borthelle: PhD co-advised with Beniamino Accattoli

His research bridges game semantics with operational techniques, particularly for algebraic effects, parametric polymorphism, and separation logic. He actively participates in program committees for POPL, GALOP, and HOPE workshops.