REDIMadrid interconnects 16 independent universities and research centers in the city of Madrid, serving over 290,000 users.
The goal of "Certified Refinement Types" (CRETE) is to design a sound and practical refinement type system.
Her interest in using machine learning for building better software systems came after an internship at AMD Research
As part of its commitment to bring the best research talent to Madrid, the IMDEA Software Institute developed its first action plan in 2021.
