My picture

As of October 2023, I am a PhD student at Inria Paris’ Cambium team, supervised by François Pottier.

My research interests are in programming languages, formal verification, and program semantics. Specifically, I am focused on giving mechanised formal semantics for OCaml, and providing a program logic for these semantics using Iris.

Note

As of 2025, I am working with Son Ho at Microsoft Research in Cambridge, UK. There, I am working on the formal verification of Rust programs.

Publications

Conference papers

Formal semantics and program logics for a fragment of OCaml.

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

Submitted Draft (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

In 2022, I had the opportunity to work with Johannes Åman Pohjola at the Trustworthy Systems group 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