IMDEA Software

Iniciativa IMDEA

noticias y eventos

Investigadores crean técnicas innovadoras de verificación para incrementar la seguridad en la inteligencia artificial y el procesamiento de imágenes
29 de abril de 2024
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

+ más

Verificación descentralizada y distribuida de flujos en tiempo real: Mejora de la supervisión en sistemas complejos
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"

+ más

Un nuevo enfoque de la programación concurrente garantiza la corrección de los programas
22 de abril de 2024
El investigador Joakim Öhman, ha presentado su tesis: "Compositional Reasoning of Concurrency with the Visibility Method"

+ más

Los principales proyectos de IMDEA Software toman protagonismo en Transfiere
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

+ más

actualidad

empleo