1. CONICET
  2. CONICET Community
  3. DIEGO DAVID GARBERVETSKY
CONICET Community
GARBERVETSKY, DIEGO DAVID

Independent researcher

Speciality
Análisis estático de código
Scientific discipline
Computer Science and Communications
Topic
Static program analysis techniques to infer quantitative and behavioral properties
Workplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA)
Dependencies
Show more information Show less information
Address:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina
Show map
Summary Information provided by the agent in SIGEVA
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 investigac... 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.
Show more Show less
Lines of Investigation

Software Engineering

Natural and exact sciences

  • Computer and information sciences
  • Computer sciences
Technological Capacities

1 - Electronics, IT and Telecoms

1.2 - Information Processing, Information System, Workflow Management

  • 1.2.1 - Advanced Systems Architecture
  • 1.2.6 - Computer Software
  • 1.2.13 - Information Technology/Informatics
  • 1.2.20 - Building Automation Software
Key Words
Análisis de recursosResource analysisAnálisis automático de softwareValidación y VerificaciónValidation and verificationAutomatic software analysis
Education

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

HR Training
Director of:
LOPEZ Y ROSENFELD, MATIAS
Scientific Research Career at CONICET
WAPPNER, DANIEL
Scholars

LOPEZ Y ROSENFELD, Matias Scientific Research Career at CONICET

WAPPNER, Daniel Scholars

Loading section Science and Technology Production...
Loading section Services...
Contact
Send Message