IMDEA Software

IMDEA initiative

news & events

April 29, 2024
A team of researchers from the IMDEA Software Institute, Universidad Carlos III de Madrid and NEC Laboratories Europe has introduced a novel framework that promises to improve the efficiency and practicality of verifiable computation.
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.