INVESTIGADORES
AGUIRRE Nazareno Matias
datos académicos
Título/s
Doctor of Philosophy (PhD, field of study: Computer Science)
Licenciado en Ciencias de la Computación
Analista en Computación
Licenciado en Ciencias de la Computación
Analista en Computación
Categoría
INV INDEPENDIENTE
Disciplina científica
Informática y Comunicaciones
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Especialidad
Métodos formales de desarrollo de software - Fundamentos de la Ingeniería de Software
Tema
Ánalisis Automático basado en SAT Solving y Aplicaciones en Ingeniería de Software
Tema en inglés
Automated Software Analysis based on SAT-Solving and Applications in Software Engineering
Palabras clave
Métodos formales de Desarrollo // Técnicas de Análisis de Software // Ingeniería de Software Automatizada
Palabras clave en inglés
Formal methods // Software Analysis // Automated Software Engineering
Lugar de trabajo
GRUPO DE INGENIERIA DE SOFTWARE -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
Director de :
CARRERA INVESTIGADOR
BECARIOS
Co director de :
BECARIOS
