My picture

I am a second-year PhD student at Inria Paris’ Cambium team, supervised by François Pottier.

My research interests are in programming languages, formal verification, and program semantics.

My current main project is to give mechanised formal semantics for OCaml, and to provide a program logic for these semantics using Iris.

Publications

Conference papers

Formal semantics and Program Logics for a Fragment of OCaml.

Remy Seassau, Irene Yoon, Jean-Marie Madiot, François Pottier

ICFP 2025: International Conference on Functional Programming (2025)

Workshop papers

Pancake: Verified Systems Programming Made Sweeter

Johannes Åman Pohjola, …, Remy Seassau, M. O. Myreen, M. Norrish, G. Heiser

PLOS, Koblenz, Germany (2023)

Education

Research Visits

During the summer of 2025, I interned at Microsoft Research in Cambridge (UK) where I worked with Son Ho on the formal verification of unsafe Rust programs.

In 2022, I work as a research assistant with Johannes Åman Pohjola at the Trustworthy Systems group (home of seL4) hosted at UNSW Sydney, Australia. There, I bootstrapped a verified compiler for Pancake using CakeML’s verified compilation toolchain.

CV

You can find my CV here (last updated 20/06/2025).

Teaching