Página Personal de Nazareno Aguirre

Click here for this page in English

 
 

Soy Profesor Asociado del Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, e Investigador Adjunto del Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET).


Con respecto a mi formación académica, me gradué de Analista en Computación en1997 y de Licenciado en Ciencias de la Computación en 1999, en el Departamento de Computación, Facultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto. En 2004 me gradué de Doctor en Ciencias de la Computación en King's College London, Universidad de Londres.


Mis intereses principales en investigación corresponden a Ingeniería de Software, particularmente Métodos Formales de desarrollo. Actualmente trabajo en análisis formal de especificaciones de sistemas basado en SAT solving, incluyendo generación de casos de test, verificación mediante exploración exhaustiva, etc., y fundamentos formales de lenguajes de especificaciones basados en componentes.

Acerca de...

Cómo contactarme

  1. -Dirección postal

  2. Oficina 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. -Teléfono: +54 (0)358 4676235

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

Mis Actividades

Docencia:

Este cuatrimestre dicto las asignaturas Diseño de Algoritmos y Algoritmos II (grado)

Investigación:

Puede encontrar detalles sobre mis actividades de investigación en la página del Grupo de Métodos Formales e Ingeniería de Software, y en la página de mis publicaciones.

Gestión:

  1. - Director de Departamento, Departamento de Computación, FCEFQyN

  2. - Coordinador de la Comisión Curricular Permanente No. 6 (carreras de Computación)

Otras Actividades:

  1. -Co-Chair del Simposio de Ingeniería de Software ASSE 2017 (parte de las Jornadas Argentinas de Informática e Investigación Operativa JAIIO 2017) y del Simposio Latinoamericano en Ingeniería de Software SLISW 2017 (parte de la Conferencia Latinoamericana en Informática CLEI 2017)

  2. -Miembro de Comité de Programa de International Conference on Global Software Engineering (ICGSE 2017)

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