IMDEA Software

Iniciativa IMDEA

Inicio > Noticias

Noticias del Instituto IMDEA Software

El trabajo recibió el premio porque industrializó la tecnología de verificación de los tipos de refinamiento y presentó la herramienta Liquid Haskell que se utiliza activamente 10 años después tanto para la enseñanza como para la verificación de software
El principal encuentro de investigación sobre Autómatas, Lógica, Semántica y Teoría de la Programación premió a los autores del trabajo que proporciona un procedimiento NP que decide si un sistema lineal-exponencial de restricciones tiene una solución entera
César Sánchez y David Rincón de REDIMadrid forman parte del elenco de autores del artículo que publica las conclusiones de tres años de pruebas
La herramienta FIXCHECK ofrece una solución robusta y efectiva en el campo del mantenimiento de software, revela fallos y previene la introducción de correcciones inadecuadas en el 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"
Manuel Carro y María Alcaraz recibieron y acompañaron a la delegación en su ruta por el Instituto. Los investigadores Aleks Nanevski, Juan Caballero, Alessandra Gorla y Manuel Hermenegildo explicaron en qué trabaja IMDEA Software
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"