Investigamos acerca de técnicas y herramientas para asistir el diseño de sistemas hardware/software tolerantes a fallos. En esta línea de investigación nuestros intereses incluyen:

• Técnicas y herramientas para el diseño de sistemas embebidos confiables
• Computación aproximada
• Métricas de criticidad de recursos en microprocesadores
• Exploración automática del espacio de diseño de soluciones confiables