I am currently working under the supervision of professor Marcelo d'Amorim.
Our group investigate ways to improve software reliability with automation support.
I am generally interested in automation of software debugging. I currently work
with the combination of two popular techniques for that: Spectrum-based
Fault-Localization and dynamic slicing. These techniques use different principles
to improve fault localization.