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.
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.
