Department of Computer Science
Federal University of Pernambuco
Want to Find Me?
My research goal is to improve software quality through program analysis and testing. I am interested in preventing, finding, diagnosing, and repairing software bugs and vulnerabilities. All these can result in less cost to Software Engineering.
Previously: I obtained my PhD from the University of Illinois at Urbana-Champaign in 2007, advised by Darko Marinov, and my BS and MS degrees from the Federal University of Pernambuco, Brazil.