Nazareno Aguirre’s Personal Web Page

Click aquí para esta página en Castellano

 
 

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 graduated as Analista en Computación in 1997 and as Licenciado en Ciencias de la Computación in 1999, both at the Departamento de Computación, Facultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto. In 2004 I got my PhD at King's College London, University of London.


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 test generation, bounded verification and program repair, and on formal foundations of specification languages for component based systems.

 

About...

Contact Information

  1. -Address

  2. Office A13,

  3. Departamento de Computación, Facultad de Ciencias Exactas, Físico-Químicas y Naturales,

  4. Universidad Nacional de Río Cuarto. Ruta Nac. No. 36 km 601, Río Cuarto (5800), Córdoba, Argentina

  5. -Telephone: +54 (0)358 4676235

  6. -Email: naguirre@dc.exa.unrc.edu.ar

My Activities

Teaching:

This semester I am in charge of the Final Project of the Computing Analyst degree (undergraduate)

Research:

Details regarding my research activities can be found in the web site of the Formal Methods and Software Engineering Research Group, in the Research and Publications tabs in this site.

Administration:

  1. - Coordinating Secretary at  the Department of Computer Science, FCEFQyN

Other Activities:

  1. -Program Committee Member of the Doctoral Symposium, 43rd International Conference on Software Engineering ICSE 2021

  2. -Program Committee Member of the ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA 2020

  3. -Program Committee Member of the New Ideas and Emerging Results Track, 42nd International Conference on Software Engineering ICSE 2020

  4. - Program Committee Member of the Replications and Negative Results Track, 12th Symposium on Search-Based Software Engineering SSBSE 2020

  5. -Program Committee Member of the International Conference on Global Software Engineering ICGSE 2020

  6. -Program Committee Member of the 34th IEEE/ACM International Conference on Automated Software Engineering ASE 2019