![]() |
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.
Since December 2013 I am a PhD student at Inria Nancy (also associated with Université de Lorraine/FR and UFRN/BR) under the direction of Pascal Fontaine.
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 haniel.barbosa@inria.fr