El investigador del IMDEA Software Kaushik Mallik ha sido galardonado con la ayuda para la investigación Ramón y Cajal 2024, financiada por el Ministerio de Ciencia, Innovación y Universidades (MICIU). Esta ayuda, con una duración de cinco años, apoyará su trabajo en el diseño seguro y fiable de sistemas ciberfísicos, tecnologías que integran procesos físicos con controladores software, como los coches autónomos o los sistemas de gestión de redes eléctricas.
La investigación de Kaushik se centra en desarrollar nuevos principios formales de diseño que sitúen las incertidumbres de modelado en el núcleo del proceso de desarrollo, abordando así uno de los retos históricos en la verificación y la robustez de sistemas críticos de seguridad.
La obtención de esta fellowship permitirá a Kaushik construir su propio grupo de investigación en IMDEA Software, impulsando métodos fundamentales para la próxima generación de sistemas automatizados fiables y de alta confianza.
Desde IMDEA Software felicitamos a Kaushik Mallik por este importante reconocimiento y expresamos nuestro orgullo por contar con él entre nuestros investigadores.
Part of the grant RYC2024-049116-I funded by MICIU/AEI/10.13039/501100011033 and the ESF+
