INVESTIGADORES
GARBERVETSKY Diego David
datos académicos
Título/s
Doctor de la Universidad de Buenos Aires, área Ciencias de la Computación
LICENCIADO EN CIENCIAS DE LA COMPUTACIÓN
LICENCIADO EN CIENCIAS DE LA COMPUTACIÓN
Categoría
INV INDEPENDIENTE
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA-SISTEM. D/INFORMAC. PROGRAMAS E
Campo de aplicación
Prod.Metal.,Maq.y Equ.-Equip.de Procesamien
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad
Análisis estático de código
Tema
Análisis estático de programas para la inferencia de propiedades cuantitativas y de comportamiento.
Tema en inglés
Static program analysis techniques to infer quantitative and behavioral properties
Palabras clave
ANÁLISIS ESTÁTICO // CONSUMO DE RECURSOS // ABSTRACCIÓN
Palabras clave en inglés
STATIC ANALYSIS // RESOURCE CONSUMPTION // ABSTRACTION
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 -
