La ex estudiante de doctorado del Instituto IMDEA Software, Isabel García-Contreras, gana uno de los dos premios a la mejor tesis de SISTEDES (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software). Se trata del segundo reconocimiento que recibe tras ser galardonada con el premio a la mejor tesis doctoral de la UPM para el curso 2020 “A scalable static analysis framework for reliable program development exploiting incrementality and modularity” es el título de su tesis, que fue…

Ha sido seleccionado como “Fellow” de la ACM, la mayor sociedad informática educativa y científica del mundo. Manuel Hermenegildo, Catedrático de la Escuela Técnica Superior de Ingeniería Informática de la UPM y Profesor distinguido del Instituto IMDEA Software, ha sido nombrado «Fellow» de la ACM (Association for Computing Machinery), un reconocimiento que se debe a sus contribuciones al análisis de programas, verificación, paralelismo, programación lógica y por su labor como director fundador del Instituto IMDEA Software. ACM es la mayor…