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

Otras Actividades:

  1. -Miembro del Comité de Programa del Simposio de Ingeniería de Software ASSE 2018 (parte de las Jornadas Argentinas de Informática e Investigación Operativa JAIIO 2018)

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