Miriam García y Germán Delbianco han obtenido el título de doctor el pasado mes de Julio. Ambos estudiantes han presentado su tesis en la Universidad Politécnica de Madrid, dentro del programa de doctorado DSS, en el cual colaboran investigadores de IMDEA.
Miriam ha defendido la tesis “An Algorithmic Approach for Stability Verification of Hybrid Systems”, supervisada por la ex-investigadora de Instituto IMDEA Software Pavithra Prabhakar. Este trabajo propone un nuevo enfoque algorítmico para la verificación de propiedades de estabilidad de sistemas híbridos, basado en métodos formales.
La tesis de Germán “Tools for the Evaluation and Choice of Countermeasures against Side-Channel Attacks”, supervisada por el investigador de Instituto IMDEA Software Aleks Nanevski. El objetivo principal de esta tesis es el desarrollo y la aplicación de lógicas diseñadas específicamente para la verificación formal de programas con efectos de control de alto orden.
