BECAS
MANSILLA HERNANDEZ Lucio Gabriel
datos académicos
Título/s
Licenciado en Ciencias de la Computación
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Especialidad
Ingeniería de Software
Tema
Ejecución Simbólica Modular para Tipos de Datos Complejos
Tema en inglés
Modular Symbolic Execution with support for Complex Data Types
Palabras clave
EJECUCIÓN SIMBÓLICA // INICIALIZACIÓN PEREZOSA // ANÁLISIS DE PROGRAMAS
Palabras clave en inglés
SYMBOLIC EXECUTION // LAZY INITIALIZATION // PROGRAM ANALYSIS
Director
PONZIO, PABLO DANIEL / INV ADJUNTO
Co-director
AGUIRRE, NAZARENO MATIAS / INV INDEPENDIENTE
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 -
