I am a logic magician, functional programming enthusiast, and avid juggler. My fascination is for systems that solve hard problems. I am driven by the combination of theoretical problems and engineering challenges that are part of the development of automated reasoning systems.
Currently, I am pursuing a PhD 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 enabling the SMT solver veriT to reason with Higher Order Logic.
In my free time I can be found in various parks practising my juggling skills. I am working towards 3-ball back-crosses.
This is my personal web page.