I am a research and development engineer at OCamlPro where I lead the work on Owi.
Previously, I was a PhD student at LMF and OCamlPro under the supervision of Jean-Christophe Filliâtre and Pierre Chambart.
Before that, I've been an intern at OCamlPro with Pierre Chambart, an engineer at LRI with Jean-Christophe Filliâtre, an intern in the PLAS team in the University of Kent with Scott Owens and Hugo Férée, and an intern at LRI with Chantal Keller, Véronique Benzaken and Évelyne Contejean.
My interests include programming languages, compilers, interpreters, functional programming, symbolic execution, WebAssembly, OCaml, and Nix & NixOS.
Mail: *firstname*@kumikode.org
Design, formalization and implementation of Wasocaml, a compiler from OCaml to WasmGC.
Supporting opam (the OCaml package manager) in Software Heritage, the universal software archive.
Improving the web interface of MOSAIC, an ecotoxicology tool.
Verifying the algorithms of Parcoursup with Why3.
Adding lambda-lifting to CakeML, a formally verified compiler for Standard ML.
Verifying compilation of SQL queries in the DataCert Project.