Comunidad CONICET

GARBERVETSKY, DIEGO DAVID

INVESTIGADOR INDEPENDIENTE

ESPECIALIDAD:

Análisis estático de código

Disciplina Científica:

Informática y Comunicaciones

Tema:

Análisis estático de programas para la inferencia de propiedades cuantitativas y de comportamiento. . Static program analysis techniques to infer quantitative and behavioral properties

Lugar de Trabajo

INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depende de
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina

Contacto:

Enviar Mensaje

Experticia en CyT*

Durante mi carrera he desarrollado capacidades en el análisis automático de artefactos de software, pasando por modelos de diseños hasta código.Entre las técnicas que domino se encuentran el modelchecking, análisis estático y dinámico de programas. He desarrollado herramientas que permiten optimizar el tiempo de verificación en autómatas temporizados hasta inferir el consumo de recursos tales como la memoria en programas en Java. Mi área de trabajo es la ingeniería de software. Mis investigaciones y actividades de transferencia apuntan a mejorar la calidad del software mediante el desarrollo de técnicas, métodos y herramientas automatizadas.El campo de aplicación es amplio dado que hoy en día prácticamente todas las actividades económicas, productivas y sociales son intensivas en el uso de software. En particular, mis investigaciones pueden favorecer a aquellos sistemas que por su complejidad y/o criticidad requieren análisis más exhaustivos. *Información suministrada por el agente en SIGEVA

Líneas de Investigación

Software Engineering CIENCIAS NATURALES Y EXACTAS - Ciencias de la Computación e Información - Ciencias de la Computación

Capacidades Tecnológicas

  • 1. Electrónica, TICs y telecomunicaciones
    • 2. Procesado de información, Sistemas de información, Gestión de la carga de trabajo
      • 2.1. Arquitectura avanzada de sistemas
      • 2.6. Software
      • 2.13. Tecnología de información / informática
      • 2.20. Software de automatización

Palabras Clave

Análisis de recursosResource analysisAnálisis automático de softwareValidación y VerificaciónValidation and verificationAutomatic software analysis

Formación Académica

2002 - 2007

Doctor de la Universidad de Buenos Aires, área Ciencias de la Computación

UNIVERSIDAD DE BUENOS AIRES

1994 - 2000

LICENCIADO EN CIENCIAS DE LA COMPUTACIÓN

UNIVERSIDAD DE BUENOS AIRES


Formación de Recursos Humanos en CyT

Director de
LOPEZ Y ROSENFELD, MATIAS
Carrera Investigador

Producción CyT

Oferta Tecnológica