Department of Computer Science
Federal University of Pernambuco
Phone: +55 (81) 2126-8430, ext. 4379
Universidade Federal de Pernambuco - UFPE
Centro de Informática - CIn
Av. Jornalista Anibal Fernandes, S/N
Cidade Universitária, PE, Brazil
My research goal is to improve software quality through program analysis and systematic testing. I want to make existing techniques more accurate, more automated, more user-friendly, and, when needed, more efficient. All these can result in less cost to Software Engineering. I am generally interested in the creation of new techniques (and improvement of existing ones) to programming models of rising interest (e.g, distributed, mobile, etc.) and in the application of techniques to domains with significant socio-economical impact (e.g., medical, aeronautical, gaming, etc.). Find more information on the web pages of our group.
I obtained my PhD in Computer Science in 2007 at the University of Illinois at Urbana-Champaign, where I worked at the group led by Prof. Darko Marinov. In Jan. 2009, I joined the CS faculty at UFPE.
MSR SEIF 2013 recipient