Nazareno Aguirre
Full Professor (UNRC). Independent Researcher (CONICET). Visiting Professor (GTIIT).

I am a Full 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 Professor at Guangdong Technion - Israel Institute of Technology, Shantou, China.
My main research interests lie in the field of Software Engineering, in particular Formal Methods for Software Development. I currently work on formal analyses of software, 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
- 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 Committee member for the International Conference on Software Engineering ICSE 2025 (main research track)
- Program Committee member for the International Symposium on Software Testing and Analysis ISSTA 2025 (main research track)
- Program Committee member for the International Conference on Automated Software Engineering ASE 2025 (main research track)
- Program Committee member for the Testing Tools and Data Showcase Track of the International Conference on Software Testing, Verification and Validation ICST 2025
- Program Committee member for the New Ideas and Emerging Results Track of the International Conference on Automated Software Engineering ASE 2025
- Program Committee member for the Industry Showcase Track of the International Conference on Automated Software Engineering ASE 2025
- Program Committee member for the Ibero-American Conference on Software Engineering CIbSE 2026 (main track)
news
Sep 26, 2025 | The research paper “Search-based Inference of Class Invariants: How far can Simulated Annealing take us?” (by J.M. Copia, F. Molina, A. Gorla, N. Aguirre and P. Ponzio) has been accepted for publication at the 17th Symposium on Search-Based Software Engineering SSBSE 2025. |
---|---|
Sep 25, 2025 | The research paper “State Field Coverage: A Metric for Oracle Quality” (by F. Molina, N. Aguirre and A. Gorla) has been accepted for publication at the 40th IEEE/ACM International Conference on Automated Software Engineering ASE 2025. |
Sep 25, 2025 | The research paper “Automated Combinatorial Test Generation for Alloy” (by A. Borda, G. Regis, N. Aguirre, M. Frias and P. Ponzio) has been accepted for publication at the 40th IEEE/ACM International Conference on Automated Software Engineering ASE 2025. |
Jun 12, 2025 | Nazareno Aguirre is visiting Claudio Menghi and Angelo Gargantini at the University of Bergamo, Italy, under that University’s short incoming visiting researcher program. |
Nov 19, 2024 | Nazareno Aguirre is now Full Professor at the University of Rio Cuarto, Argentina. |