IMDEA Software

IMDEA initiative

news & events

July 2, 2024
The event was hosted by the School of Engineering of the Universidad Carlos III de Madrid, from June 26th to 28th
June 24, 2024
Last Friday, June 21, we celebrated "My I[M]DEA Software: Poster Competition", an edition with 11 participants
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”

highlights

careers