I am an assistant professor in the Department of Computer Science (DCC) at Universidade Federal de Minas Gerais (UFMG), in Belo Horizonte, Brazil.
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, to which I have devised new SMT techniques involving first-order and higher-order quantifiers, machine learning, and proof production, among others. I am also a core developer of the state-of-the-art SMT solvers CVC4 and veriT.
I am looking for motivated students (masters or PhD) to work on the above topics. Email me your CV if you are interested.
Contents: Teaching ⋅ Drafts ⋅ Conference Papers ⋅ Journal Articles ⋅ Workshop Papers ⋅ Theses ⋅ Books ⋅ Talks ⋅ Service ⋅ Contact
2021
2020
+55 (31) 3409-5852 hbarbosa@dcc.ufmg.br