I got my PhD from Federal University of Pernambuco in 2007. During my
PhD, I went through a 3-month internship at Massachusetts Institute of Technology (MIT).
Since 2009, I am an associate professor in computer science faculty at
Federal University of Campina
Grande (UFCG), and Project Management Professional (PMP) certified.
Our research group proposed a number of techniques using static and dynamic analysis, formal methods (Z3, Alloy, PVS), and program synthesis. Our group published papers in the most important international conferences (ICSE, FSE) and journals (TSE, EMSE, TOSEM). Our techniques identified 200+ bugs and weaknesses in IDEs (Eclipse, NetBeans), configurable systems (Linux, OpenSSL, and others), and APIs (Java Reflection, Java Collections, and others). A number of them are fixed. See some national and international awards and publications here, and my DBLP and Google Scholar profiles.
Since 2010, I participate in R&D projects with 15+ national and international partners in industry (Google, Sony, Nokia, Epson, WildLife, startups, among others) as a coordinator, program manager, project manager, or researcher. We collaborate with teams in Brazil and other countries (Sweden, Japan, USA). Our teams built a number of applications for our partners. Some of them have 100+K downloads.
Since 2008, I coordinate a project that organize programming contests (see The Paraiba State Olympiad in Informatics), and training camps for elementary, high school, and undergraduate students in our state. UFCG students won 50+ awards in national and international programming contests (see here). I was the recipient of the ICPC coach award in 2017.