Léo Andrès
I'm a PhD student. My subject is Design, formalization and implementation of a garbage collector for WebAssembly. My advisors are Pierre Chambart and Vincent Laviron from OCamlPro and Jean-Christophe Filliâtre from LMF.
If you want to know more about me, please have a look at my personal website.