Comunidad CONICET
Interna de finalización de doctorado
Especialidad
Ingeniería de Software
Disciplina Científica
Informática y Comunicaciones
Tema
Abstracciones por predicado para validación y verificación de contratos inteligentes
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
Me encuentro finalizando el doctorado en ciencias de la computación en el área de ingeniería de software. He trabajado en la investigación de técnicas de análisis de programas y métodos formales para la generación automática de casos de tests, además de la generación de abstracciones de programas con protocolo, como los smart contracts.
Líneas de Investigación
Generación de abstracciones por predicados
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.6 - Software
- 1.2.20 - Software de automatización
Palabras Clave
testeo de programasejecución simbólicaTesteo basado en búsquedaSoftware testingSymbolic ExecutionSeach based testing
Formación Académica
2010 - 2016
Licenciatura en Sistemas
INSTITUTO DE INDUSTRIA, UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO
Dirigido por:
GALEOTTI, JUAN PABLO
Carrera Investigador
GALEOTTI, Juan Pablo
Carrera Investigador
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto