IMDEA Software

IMDEA initiative

news & events

Jan 20, 2022

REDIMadrid interconnects 16 independent universities and research centers in the city of Madrid, serving over 290,000 users.

Jan 11, 2022

The goal of "Certified Refinement Types" (CRETE) is to design a sound and practical refinement type system.

Dec 20, 2021

Her interest in using machine learning for building better software systems came after an internship at AMD Research

Dec 1, 2021

As part of its commitment to bring the best research talent to Madrid, the IMDEA Software Institute developed its first action plan in 2021.