Isabel García-Contreras (currently at the University of Waterloo, in Canada), a former PhD student at the IMDEA Software Institute and UPM's ETSIINF School of Computer Science, under the supervision of Manuel Hermenegildo and José Francisco Morales, has been awarded one of UPM's best PhD thesis awards for the 2020/2021 academic year for her thesis: "A scalable static analysis framework for reliable program development exploiting incrementality and modularity," defended in July of 2021. There were only two such awards for theses defended at the School of Computer Science in this period.
