Board of Trustees
Scientific Advisory Board
Microsoft Research Joint Research Center
Telefónica Joint Research Unit
Gender Equality Plan
Software Seminar Series (S3)
Activities towards transversal capabilities
Economic and Statistical Information
news & events
REDIMadrid attends first national meeting of the Complementary Quantum Communications Plan
September 22, 2023
The event took place from September 19 to 21 at the School of Industrial Engineering of the Polytechnic University of Madrid (UPM).
Alessio Mansutti: "I work in computational logic, and nowadays mainly in algorithms for arithmetic theories"
September 8, 2023
The Assistant Research Professor of the IMDEA Software Institute ended pursuing a PhD for an accident that he will never regret.
Manuel Hermenegildo receives the "ACM Fellow" award at the Association for Computing Machinery's gala
July 4, 2023
The ACM Fellows program was established in 1993 to recognize and honor outstanding ACM members for their achievements in computer science and information technology.
Isabel García wins the SISTEDES award for best doctoral thesis
June 27, 2023
"A scalable static analysis framework for reliable program development exploiting incrementality and modularity" is the title of his thesis, directed by professors Manuel Hermenegildo and José Francisco Morales.
IMDEA Software Institute | Campus Montegancedo, s/n | 28223 Pozuelo de Alarcón (Madrid) Spain
© 2023 Fundación IMDEA Software