Postdoctoral researcher at Bar-Ilan University (Israel) in Yoni Zohar's group, working on combination of theories for SMT solving.
PhD in Logic and Theoretical Computer Science at RUG (Groningen, Netherlands), supervised by Revantha Ramanayake. Master in Systems and Computing by UFRN (Natal, Brazil), supervised by João Marcos and Sérgio Marcelino. Bachelor in Computer Science also by UFRN.