INVESTIGADORES
BRABERMAN Victor Adrian
datos académicos
Título/s
Doctor en Computación
LICENCIADO EN CIENCIAS DE LA COMPUTACION
LICENCIADO EN CIENCIAS DE LA COMPUTACION
Categoría
INV INDEPENDIENTE
Disciplina científica
Ingeniería Civil, Eléctrica, Mecánica e Ingenierías Relacionadas
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA-OTRAS
Especialidad
ingeniería del software
Tema
Análisis y síntesis de artefactos de software
Tema en inglés
Analysis and synthesis of software artifacts
Palabras clave
INGENIERIA DEL SOFTWARE // VERIFICACION Y SINTESIS AUTOMATIZAD // ANALISIS DE PROGRAMAS
Palabras clave en inglés
SOFTWARE ENGINEERING // AUTOMATED VERIFICATION AND SYNTHESIS // PROGRAM ANALYSIS
Lugar de trabajo
[ICC] INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
