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 Ibero-American Conference on Software Engineering CIbSE 2026 (main track)
- Program Committee member for the Research Track of the International Conference on Software Testing, Verification and Validation ICST 2026
- Program Committee member for the International Symposium on Software Testing and Analysis ISSTA 2026 (main research track)
- Program Committee member for the International Conference on Automated Software Engineering ASE 2026 (main research track)
news
| Feb 20, 2026 | The research paper “”Improving Dynamic Specification Inference with LLM-Generated Counterexamples (by A. Balestra, A. Nolasco, F. Molina, D. Garbervetsky, R. Degiovanni and N. Aguirre) has been accepted for publication at the 19th IEEE International Conference on Software Testing, Verification and Validation ICST 2026. |
|---|---|
| Jan 06, 2026 | The research paper “Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications” (by P. Castro, L. Putruele, R. Degiovanni and N. Aguirre) has been accepted for publication at the 14th International Conference on Formal Methods in Software Engineering FormaliSE 2026. |
| 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. |