I am a doctoral candidate at INRIA Nantes (Gallinette team), completing my thesis under the supervision of Guilhem JABER. My research focuses on studying algebraic effects and handlers through the lens of (operational) game semantics.
My work is increasingly informed by interests in denotational semantics, (effectful) functional programming languages, and the foundational connections between (dependent) type theory and logic.

Publications

Conference Papers

Operational game semantics for generative algebraic effects

To appear in PPDP ’25 (forthcoming)

paper

Talks

Towards a fully abstract model for generative algebraic effects and handlers

GALOP (POPL '24)

slides video

Sound operational game semantics model for algebraic effects and handlers

HOPE (ICFP '23)

abstract slides

Drafts & Notes

Fully abstract OGS model for generative algebraic effects and handlers

Draft in progress (subsumes the PPDP '25 paper)

draft

Notes on virtual effects: from universal algebra to programming language design

Notes

Teaching