Previously I was a postdoctoral researcher at The University of Iowa, where I worked with Dr. Andrew Reynolds and Prof. Cesare Tinelli, while also collaborating with Prof. Clark Barrett from Stanford University. Before that I was a PhD student at Inria Nancy under the direction of Prof. Pascal Fontaine.
My research focuses on improving satisfiability modulo theories (SMT) solvers for the domains of formal verification and program synthesis. For this I have been mostly working on devising SMT techniques involving first-order and higher-order quantifiers, machine learning, and proof production. Furthermore I have worked on implementing these and other techniques for improving the state-of-the-art SMT solvers CVC4 and veriT.