INVESTIGADORES
FRIAS Marcelo Fabian
datos académicos
Título/s
DR. EN CS. DE LA COMPUTACION
LIC. EN COMPUTACION
Categoría
INV PRINCIPAL
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA-SISTEM. D/INFORMAC. PROGRAMAS E
Especialidad
Metodos relacionales aplicados a la ingenieria de software
Tema
Análisis y verificación de modelos y código utilizando SAT-solving
Tema en inglés
Analysis and verification of models and code using SAT-solving
Palabras clave
Análisis automático // SAT-solving // Verificación acotada
Palabras clave en inglés
Automated analysis // SAT-solving // Bounded verification
Lugar de trabajo
ESCUELA DE INGENIERIA -
[ITBA] INSTITUTO TECNOLOGICO DE BUENOS AIRES -