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 Adjunct 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 Engineeting, 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 A11,

  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 teach courses on Algorithm Design (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. - Head of Department, Departamento de Computación, FCEFQyN

  2. - Coordinator of the Curricular Committee for Computer Science degrees, FCEFQyN

Other Activities:

  1. -Co-Chair of the Argentinian Symposium on Software Engineering ASSE 2017  and Latin American Symposium on Software Engineering SLISW 2017, jointly held as part of the Latin American Conference on Informatics (CLEI) and the Argentinian Conferences on Informatics (JAIIO)

  2. -Program Committee Member of the International Conference on Global Software Engineering (ICGSE 2017)

  3. -Publicity Chair of the International Conference on Software Engineering ICSE 2017