About Me

I am a postdoctoral researcher in the Computation Logic Center of the University of Iowa working on the the award winning SMT solver cvc5. In particular I am interested in the generation of formal proofs from SMT solvers.

Before joining the cvc5 team, I was a PhD student at Inria Nancy Grand Est advised by Pascal Fontaine and Jasmin Blanchette. During my PhD I was a lead developer of the SMT solver veriT.

I co-maintain the SMT-LIB benchmark library, and prepared both veriT and cvc5 for the SMT Competition.