IMDEA Software

Iniciativa IMDEA

Inicio > Noticias > 2024

Noticias del Instituto IMDEA Software

El evento tuvo lugar en la Facultad de Informática de la Universidad Complutense de Madrid el 5 y 6 de julio
El evento tuvo lugar en la Escuela Politécnica Superior de la Universidad Carlos III de Madrid del 26 al 28 de junio
El pasado viernes, 21 de junio, celebramos "My I[M]DEA Software: Poster Competition", una edición que contó con 11 participantes
Un equipo de investigadores del Instituto IMDEA Software, la Universidad Carlos III de Madrid (UC3M) y NEC Laboratories Europe ha introducido un novedoso marco que promete mejorar la eficiencia y practicidad de la computación verificable
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"