Bootstrapping a Verified Compiler
Supervised by Johannes Åman Pohjola at the Trustworthy Systems group, University of New South Wales
Research Projects
Short insights into my previous research projects.Formalizing Ideals in Commutative Algebra
Supervised by Pierre-Yves Strub at the Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)
A Tool for Interactive Modular Decomposition
Supervised by Lutz Straßburger at the Partout team, INRIA