El investigador Luis Miguel Danielsson, ha defendido su tesis, titulada: "Verificación descentralizada y distribuida de flujos en tiempo de ejecución"

El investigador Joakim Öhman, ha presentado su tesis: "Compositional Reasoning of Concurrency with the Visibility Method"

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

Desvela un novedoso enfoque automatizado de la atribución, que transforma significativamente el proceso de identificación de las entidades responsables de los ciberataques

La Feria, que ha tenido lugar entre el 7 y el 9 de marzo en IFEMA, contó con la participación de diez investigadores de IMDEA Software

Se trata de la segunda edición de un evento que nació para dar a conocer la ciencia desarrollada por las científicas del Campus Montegancedo, con motivo del Día Internacional de la Mujer y Niña en la Ciencia

La investigadora de IMDEA Software Kyveli Doveri presentó su tesis doctoral: "A Uniform Approach to Language Containment Problems" el pasado viernes 16 de febrero en la ETSIINF de la UPM

El investigador de IMDEA Software realizó ayer su defensa de tesis: "Succinct Cryptographic Commitments with Fine-Grained Openings for Decentralized Environments"

El acto, organizado por el Instituto Austriaco de Tecnología, fue una oportunidad única para debatir las últimas tendencias en comunicación cuántica segura

El evento, organizado por la Universidad Autónoma de Madrid y BeAble Capital, es el mayor encuentro internacional en torno al "deep science"