Nazareno Aguirre

Imagen de Nazareno Aguirre
Doctor en Ciencias de la Computación
Profesor Asociado
Investigador Adjunto
E-mail: 
naguirre@dc.exa.unrc.edu.ar
Oficina: 
A11-B
Teléfono: 
+54-0358-4676235
Bio: 

Soy Profesor Asociado del Departamento de ComputaciónFCEFQyNUniversidad 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 en 1997 y de Licenciado en Ciencias de la Computación en 1999, en el Departamento de ComputaciónFacultad de Ciencias Exactas, Físico-Químicas y NaturalesUniversidad 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. Mi página personal puede accederse aquí.

Enlaces

Póngase en contacto con nosotros

Nuestras redes sociales

No dudes en comunicarte con nosotros usando las redes sociales.

Contacto

Departamento de Computación

Facultad de Ciencias Exactas, Físico-Químicas y Naturales
Universidad Nacional de Río Cuarto
Ruta Nacional No. 36, Km. 601
Código Postal X5804BYA
Río Cuarto, Córdoba, Argentina

 

Teléfonos: +54 (0358) 4676235/529
Fax:  +54  (0358) 4676235
e-mail: ivan@dc.exa.unrc.edu.ar

Education - This is a contributing Drupal Theme
Design by WeebPal.
test
test1