NOTE: I have moved to the University of Iowa as a postdoc. My new webpage is here. This one is old and no longer maintained.
I work with instantiation and proof production in SMT solving and I am one of the developers of the veriT solver.
+33 (0) 3 54 95 84 76 email@example.com