1. CONICET
  2. Comunidad CONICET
  3. RAMIRO ADRIAN DEMASI
Comunidad CONICET
DEMASI, RAMIRO ADRIAN

Investigador asistente

Especialidad
Métodos formales de desarrollo de software - Sistemas Dependibles
Disciplina Científica
Informática y Comunicaciones - Informática y Comunicaciones
Tema
Análisis Cuantitativo de Sistemas Probabilistas Tolerantes a Fallas
Lugar de Trabajo
FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA (FAMAF, UNC)
Depende de
  • UNIVERSIDAD NACIONAL DE CORDOBA
Ver más información Ver menos información
Dirección:
MEDINA ALLENDE S/N, 5000 - Córdoba - Argentina
Resumen Información suministrada por el agente en 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.
Ver más Ver menos
Líneas de Investigación

Formal Methods

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.13 - Tecnología de información / informática
Palabras Clave
Sistemas Tolerantes a FallasSintesis de ProgramasSistemas ProbabilistasFault-Tolerance SystemsProgram Synthesis Probabilistic Systems
Formación Académica

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

Formación de RRHH
Dirigido por:
D'ARGENIO, PEDRO RUBEN
Carrera Investigador
D'ARGENIO, Pedro Ruben Carrera Investigador
Cargando sección Producción CyT...
Cargando sección Oferta Tecnológica...
Contacto
Enviar Mensaje