Isabel García-Contreras (actualmente en la Universidad de Waterloo, en Canadá), ex estudiante de doctorado en el Instituto IMDEA Software y la ETSIINF de la Facultad de Informática de la UPM, bajo la supervisión de Manuel Hermenegildo y José Francisco Morales, ha sido galardonado con uno de los premios extraordinarios de tesis doctoral de la UPM del curso 2020/2021 por su tesis: “Un marco de análisis estático escalable para un programa confiable desarrollo explotando la incrementalidad y la modularidad”, defendida en julio de 2021. Hubo solamente dos premios de este tipo para tesis defendidas en la Facultad de Informática en este periodo.
