About

I am a software engineer at Tarides, mostly working on Js_of_ocaml and Wasm_of_ocaml — compilers from OCaml bytecode to JavaScript and WebAssembly.

During my PhD, I designed and implemented the object-oriented layer of the OCaml language. I then worked as a research scientist at CNRS, where I authored Lwt (cooperative threading), ocaml-re (regular expressions), and co-maintained the Unison file synchronizer. After that, I worked at Be Sport before joining Tarides.

You can find me on GitHub.