IMDEA Software

IMDEA initiative

news & events

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.

Nov 29, 2021

Pepe Vila and Joaquín Arias, two former PhD students of the IMDEA Sofwtare Institute, have won the 2019-2020 Extraordinary Doctoral Thesis Award granted by the Polytechnic University of Madrid.