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

Talks

Drafts & Notes

Teaching

University of Nantes — Teaching Assistant

• Numerical Methods for Mathematical Analysis (L3 Undergraduate, Spring 2024)
  Led lab classes on the application of numerical algorithms to solve mathematical problems without closed-form solutions. Covered iterative root-finding methods, polynomial interpolation (Lagrange and Newton forms), and numerical integration with a focus on algorithmic implementation, convergence analysis, and error estimation.

• Introduction to Functional Programming (L3 Undergraduate, Spring 2023 & 2024)
  Taught lab modules introducing functional programming with OCaml, covering syntax and types, with an emphasis on immutable data structures, higher-order abstractions, and recursion as a natural control structure. Supervised and evaluated projects implementing computational models such as the simply typed lambda calculus (STLC), SKI combinator calculus, finite transducers, and register machines.

IUT Nantes — Teaching Assistant

• Numerical Methods (Undergraduate, Fall 2023)
  Introduced Python for numerical computing and guided students in implementing polynomial interpolation, performing error analysis, visualizing results, and exploring numerical phenomena such as Runge’s effect.