IMDEA Software

Iniciativa IMDEA

noticias y eventos

Niki Vazou y los coautores de «Refinement types for Haskell» reciben el premio Test of Time en la ICFP
2 de octubre de 2024
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

+ más

El artículo de Alessio Mansutti «Integer Linear-Exponential Programming in NP by Quantifier Elimination» gana el premio al mejor artículo del Track B de ICALP
26 de septiembre de 2024
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

+ más

Miembros del proyecto MadQuantum-CM publican en Nature su artículo: "MadQCI: a heterogeneous and scalable SDN-QKD network deployed in production facilities"
10 de septiembre de 2024
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

+ más

IMDEA Software lanza un nuevo enfoque que mejora la reparación automática de software
29 de julio de 2024
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

+ más

actualidad

empleo