Research engineer @ Inria. Catala (https://catala-lang.org) & Apollo program (https://apollo.inria.fr).