IMDEA Software

Iniciativa IMDEA

noticias y eventos

24 de abril de 2024
El investigador Luis Miguel Danielsson, ha defendido su tesis, titulada: "Verificación descentralizada y distribuida de flujos en tiempo de ejecución"
22 de abril de 2024
El investigador Joakim Öhman, ha presentado su tesis: "Compositional Reasoning of Concurrency with the Visibility Method"
27 de marzo de 2024
Al igual que en ediciones anteriores, en 2024 el Instituto ha participado en el Foro Transfiere en el Espacio de Investigación e Innovación de la Comunidad de Madrid
25 de marzo de 2024
Desvela un novedoso enfoque automatizado de la atribución, que transforma significativamente el proceso de identificación de las entidades responsables de los ciberataques

actualidad

empleo