CONICET Community
Assistant researcher
Speciality
Métodos formales de desarrollo de software - Sistemas Dependibles
Scientific discipline
Computer Science and Communications
- Computer Science and Communications
Topic
Quantitative Analysis of Probabilistic Fault Tolerant Systems
Workplace
FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA
(FAMAF, UNC)
Dependencies
- UNIVERSIDAD NACIONAL DE CORDOBA
Show more information
Show less information
| Address: |
| MEDINA ALLENDE S/N, 5000 - Córdoba - Argentina |
Summary
Information provided by the agent in
SIGEVA
La especificación y verificación de sistemas tolerantes a fallas es el área en la que estoy investigando actualmente y ya desde hace ocho años. Mi interés actual se centra en la definición de juegos cuantitativos para caracterizar sistemas tolerantes a fallas. Otra meta clara es la implementación de herramientas que permita el soporte automático para el análisis cuantitativo de sistemas tolerantes a fallas a partir de los juegos cuantitativos. Estos métodos son de gran interés en el área de ana...
La especificación y verificación de sistemas tolerantes a fallas es el área en la que estoy investigando actualmente y ya desde hace ocho años. Mi interés actual se centra en la definición de juegos cuantitativos para caracterizar sistemas tolerantes a fallas. Otra meta clara es la implementación de herramientas que permita el soporte automático para el análisis cuantitativo de sistemas tolerantes a fallas a partir de los juegos cuantitativos. Estos métodos son de gran interés en el área de analisis y verificación de software.
Show more
Show less
Lines of Investigation
Formal Methods
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.13 - Information Technology/Informatics
Key Words
Sistemas Tolerantes a FallasSintesis de ProgramasSistemas ProbabilistasFault-Tolerance SystemsProgram Synthesis Probabilistic Systems
Education
2009 - 2014
Doctor of Philosophy (PhD in Computer Science)
MC MASTER UNIVERSITY
2000 - 2006
Licenciatura de la Ciencias de la Computación
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES, UNIVERSIDAD NACIONAL DE RIO CUARTO
2000 - 2005
Analista en Computación
UNIVERSIDAD NACIONAL DE RIO CUARTO
Directed by:
D'ARGENIO, PEDRO RUBEN
Scientific Research Career at CONICET
D'ARGENIO, Pedro Ruben
Scientific Research Career at CONICET
Loading section
Science and Technology Production...
Loading section
Services...
Contact