Información Personal

Docente del Departamento de Computación de la Universidad Nacional de Río Cuarto.
Estudiante de Doctorado en Ciencias de la Computación en la Universidad Nacional de Buenos Aires.
Becario de Postgrado Tipo II de CONICET (cofinanciado por el Ministerio de Ciencia y Tecnología de la Provincia de Córdoba).

Docencia

Ayudante de Primera en las materias:

Investigación

Mis intereses principales en investigación corresponden a técnicas basadas en Métodos Formales que permitan asistir al desarrollador en la construcción de software confiable, principalmente: generación automática de casos de test y verificación exhaustiva.
Actualmente trabajo en análisis de especificaciones de sistemas de software basado en SAT/SMT solving, y aplicación de tecnicas de abstracción para mejorar la escalabilidad del análisis.

Publicaciones

R. Degiovanni, P. Ponzio, N. Aguirre y M. Frias. Abstraction based Automated Test Generation from Formal Tabular Requirements Specifications, en Tests and Proofs - 5th International Conference, Zurich, Switzerland, 2011 (TAP 2011).
N. Aguirre, M. Frias, P. Ponzio, B. Cardiff, J. P. Galeotti y G. Regis. Towards Abstraction for DynAlloy Specifications, en Proceedings de International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu, Japón, LNCS 5256, Springer, 2008.

Artículos de divulgación

R. Ariño, R. Degiovanni, R. Fervari, P. Ponzio y N. Aguirre. Mejorando la Aplicación de Abstracción por Predicados a Especificaciones DynAlloy, en Congreso Argentino de Ciencias de la Computación 2010 (CACIC 2010).
R. Ariño, R. Degiovanni, R. Fervari, P. Ponzio y N. Aguirre. Towards Scaling Up DynAlloy Analysis using Predicate Abstraction, en Congreso Argentino de Ciencias de la Computación 2009 (CACIC 2009).

Contacto