Guilhem JaberView profile
Associate Professor
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.