Department of Computer Science
Federal University of Pernambuco
Want to Find Me?
My research goal is to improve software quality through program analysis and systematic testing. I want to make techniques more accurate, more automated, more user-friendly, and, when needed, more efficient. All these can result in less cost to Software Engineering.
I obtained my PhD in 2007 at the University of Illinois at Urbana-Champaign, advised by Darko Marinov. I joined the CS faculty at the Federal University of Pernambuco (UFPE) in 2009.