NAZARENO MATIAS AGUIRRE

AGUIRRE, NAZARENO MATIAS

Investigador independiente

Especialidad

Métodos formales de desarrollo de software - Fundamentos de la Ingeniería de Software

Disciplina Científica

Informática y Comunicaciones - Informática y Comunicaciones

Tema

Ánalisis Automático basado en SAT Solving y Aplicaciones en Ingeniería de Software

Lugar de Trabajo

GRUPO DE INGENIERIA DE SOFTWARE

Depende de

UNIVERSIDAD NACIONAL DE RIO CUARTO

FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES

Ver más información Ver menos información

Dirección:

RUTA NACIONAL 36 KM.601 0, 5800 - Río Cuarto - Córdoba - Argentina

Resumen Información suministrada por el agente en SIGEVA

Mis áreas de especialidad en investigación corresponden a Ingeniería de Software, particularmente Métodos Formales de desarrollo. Dentro de este campo, trabajo en una variedad de temas, incluyendo el Análisis automático de Código y Especificaciones (abarcando, en este tema, la verificación de código con anotaciones, la verificación acotada de modelos y diseños, y el testing automático), y Fundamentos de Lenguajes de Especificaciones Formales.

Líneas de Investigación

Ingeniería de Software

Ciencias naturales y exactas

Ciencias de la computación e información
Ciencias de la computación

Capacidades Tecnológicas

1 - Electrónica, TICs y telecomunicaciones

1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo

1.2.1 - Arquitectura avanzada de sistemas
1.2.6 - Software
1.2.9 - Protección de datos, almacenamiento, criptografía, seguridad
1.2.13 - Tecnología de información / informática
1.2.15 - Gestión de conocimiento, gestión de procesos
1.2.20 - Software de automatización
1.2.22 - Aplicaciones inteligentes

Palabras Clave

Análisis de SoftwareMétodos formales de desarrollo de softwareIngeniería de SoftwareFormal Methods for Software DevelopmentSoftware EngineeringSoftware Analysis

Formación Académica

2000 - 2004

Doctor of Philosophy (PhD, field of study: Computer Science)

King's College London, University of London

1994 - 1999

Licenciado en Ciencias de la Computación

UNIVERSIDAD NACIONAL DE RIO CUARTO

1994 - 1997

Analista en Computación

UNIVERSIDAD NACIONAL DE RIO CUARTO