CONICET Community
Internal doctoral completion fellowship
Speciality
Ingeniería de Software
Scientific discipline
Computer Science and Communications
Topic
Predicate abstraction for smart contracts validation and verification
Workplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Dependencies
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
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
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.
Lines of Investigation
Generación de abstracciones por predicados
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.6 - Computer Software
- 1.2.20 - Building Automation Software
Key Words
testeo de programasejecución simbólicaTesteo basado en búsquedaSoftware testingSymbolic ExecutionSeach based testing
Education
2010 - 2016
Licenciatura en Sistemas
INSTITUTO DE INDUSTRIA, UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO
Directed by:
GALEOTTI, JUAN PABLO
Scientific Research Career at CONICET
GALEOTTI, Juan Pablo
Scientific Research Career at CONICET
Loading section
Science and Technology Production...
Loading section
Services...
Contact