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 and in the application of these techniques to new (/socio-econonomically relevant) domains.
I obtained my PhD in Computer Science in 2007 at the University of Illinois, where I worked at the group led by Prof. Darko Marinov. I joined the CS faculty at UFPE in 2009.
MSR SEIF 2013 recipient