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 formal verification and to make them more trustworthy via the production and checking of proof certificates. I am also a senior technical lead for the state-of-the-art SMT solver cvc5.
I am always looking for motivated students (undergrad, masters or PhD) to work on the above topics. Email me your CV if you are interested.