IMDEA Software

IMDEA initiative

news & events

April 24, 2024
Researcher Luis Miguel Danielsson, advised by Professor César Sánchez, has defended his thesis, titled: “Decentralized and Distributed Stream Runtime Verification”
April 22, 2024
Researcher Joakim Öhman, supervised by Professor Aleks Nanevski, presented his thesis: "Compositional Reasoning of Concurrency with the Visibility Method"
March 27, 2024
As in previous editions, in 2024 the Institute participated in the Research and Innovation Space of the Madrid Regional Government.
March 25, 2024
Unveils a novel automated approach to attribution, significantly transforming the process of identifying entities responsible for cyberattacks