I am a PhD student in computer science at Inria Nancy Grand Est and Université de Lorraine advised by Pascal Fontaine and Jasmin Blanchette. As part of the Matryoshka project I am working on improving the utility of SMT solvers in interactive theorem provers. As part of this I am a core developer of the veriT SMT solver.
Currently, I am interested in improving the formal proofs generated by SMT solvers and in novel techniques for quantifier handling. I am driven by the combination of theoretical problems and engineering challenges that are part of the development of automated reasoning systems.
In my free time you can find me in various parks practicing my juggling skills. Lately, I might also swing a stack to train in the art of french stick fencing.
This is my personal web page.