Nazareno Aguirre

I am an Associate Professor at the Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, and an Independent Researcher at Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET). I am also a Visiting Associate Professor at Guangdong Technion - Israel Institute of Technology, Shantou, China.

My main research interests correspond to Software Engineering, in particular Formal Methods for Software Development. I currently work on formal analyses of software based on SAT solving, including specification inference, test generation, bounded verification and program repair. The main aim of my research is to help build reliable quality software.

Current and upcoming service

• Head of the PhD Programme in Computing at the Faculty of Mathematics, Physics, Astronomy and Computing (FAMAF), University of Cordoba, Argentina
• Coordinator of the Informatics, Electronics and Communications Commission at Argentina’s National Agency for the Promotion of Research, Technological Development and Innovation (Agencia I+D+i)
• Associate Editor of IEEE Transactions on Software Engineering
• Program Committe member for the International Symposium on Software Testing and Analysis ISSTA 2023 (main research track)
• Program Committe member for the International Symposium on Software Testing, Verification and Validation ICST 2023 (main research track)
• Program Committe member for the Tutorials Track of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2023
• Program Committe member for the International Symposium on Software Testing and Analysis ISSTA 2024 (main research track)