I’m a postdoctoral reseacher working on Artificial Intelligence applied to disease ecology at the Poisot lab (University of Montreal). I currently focus on probabilistic programming with typed λ-calculi & learning mathematical formulas from data.

I did my Ph.D. at the Canada Research Chair on Integrative ecology (Université de Sherbrooke). My work was supported by an Alexander Graham Bell Graduate Scholarship from the NSERC, a generous Azure for Research Award from Microsoft Research, and a hardware donation from NVIDIA.

My work depends on many high-quality open-source projects: Rust, Lean, Glasgow Haskell Compiler, Agda, LLVM, GCC, Vim/Neovim, Linux/Ubuntu, Git.