Comunidad CONICET
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.
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Depende de
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
Ver más información
Ver menos información
| Dirección: |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Ver mapa
Resumen
Información suministrada por el agente en
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.
Ver más
Ver menos
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
1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo
- 1.2.1 - Arquitectura avanzada de sistemas
- 1.2.6 - Software
- 1.2.13 - Tecnología de información / informática
- 1.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
Director de:
LOPEZ Y ROSENFELD, MATIAS
Carrera Investigador
WAPPNER, DANIEL
Becarios
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto