IMDEA Software

IMDEA initiative

news & events

July 29, 2024
The FIXCHECK tool offers a robust and effective solution in the field of software maintenance, reveals bugs and prevents the introduction of inadequate corrections in the software.
July 23, 2024
Manuel Carro and María Alcaraz welcomed and accompanied the delegation on its tour around the Institute. Researchers Aleks Nanevski, Juan Caballero, Alessandra Gorla and Manuel Hermenegildo explained what IMDEA Software is working on.
July 9, 2024
The event took place at the Computer Science School of the Universidad Complutense de Madrid on July 5 and 6.
July 2, 2024
The event was hosted by the School of Engineering of the Universidad Carlos III de Madrid, from June 26th to 28th

highlights

careers