Mi research is within the field of Software Engineering. Within this area, I have researched on automated techniques that include automated fault detection, automated test generation, automated specification inference and automated program repair, all with applications to cybersecurity.I have published my research in the most important conferences and journals in the area, including IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, International Conference in Software Engineering (ICSE), International Conference on Automated Software Engineering (ASE), International Conference on the Foundations of Software Engineering (FSE), International Symposium on Software Testing and Analysis (ISSTA), etc.I have also served as reviewer and program committee member for all these venues.I am passionate about doing research in a close interaction with my students, including not only graduate, but also undergraduate.