Click here for this page in English
Soy Profesor Asociado del Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, e Investigador Independiente 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
-
-Dirección postal
-
Oficina A13,
-
Departamento de Computación, Facultad de Ciencias Exactas, Físico-Químicas y Naturales,
-
Universidad Nacional de Río Cuarto. Ruta Nac. No. 36 km 601, Río Cuarto (5800), Córdoba, Argentina
-
-Teléfono: +54 (0)358 4676235
-
-Email: naguirre@dc.exa.unrc.edu.ar
Mis Actividades
Docencia:
Este cuatrimestre dicto la asignatura Proyecto (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:
-
- Secretario Coordinador, Departamento de Computación, FCEFQyN
Otras Actividades:
-
-Miembro del Comité de Programa del Doctoral Symposium en la 43rd International Conference on Software Engineering ICSE 2021
-
-Miembro del Comité de Programa de ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA 2020
-
-Miembro del Comité de Programa del Track de Nuevas Ideas y Resultados Emergentes (NIER) en la 42nd International Conference on Software Engineering ICSE 2020
-
- Miembro del Comité de Programa del Track de Replications and Negative Results en el 12th Symposium on Search-Based Software Engineering SSBSE 2020
-
-Miembro del Comité de Programa de International Conference on Global Software Engineering ICGSE 2020
-
-Miembro del Comité de Programa de 34th IEEE/ACM International Conference on Automated Software Engineering ASE 2019
-
-Integrante de la Comisión Ad Hoc de proyectos de investigación científica y tecnológica (PICT), área Tecnología Informática, de las Comunicaciones y Electrónica
-
-Coordinador Alterno de la Comisión de Becas de CONICET (Informática y Comunicaciones)
