IMDEA Software

IMDEA initiative

Home > News

IMDEA Software Institute News

The event took place at the Computer Science School of the Universidad Complutense de Madrid on July 5 and 6.
The event was hosted by the School of Engineering of the Universidad Carlos III de Madrid, from June 26th to 28th
Last Friday, June 21, we celebrated "My I[M]DEA Software: Poster Competition", an edition with 11 participants
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.
Researcher Luis Miguel Danielsson, advised by Professor César Sánchez, has defended his thesis, titled: “Decentralized and Distributed Stream Runtime Verification”
Researcher Joakim Öhman, supervised by Professor Aleks Nanevski, presented his thesis: "Compositional Reasoning of Concurrency with the Visibility Method"
As in previous editions, in 2024 the Institute participated in the Research and Innovation Space of the Madrid Regional Government.
Unveils a novel automated approach to attribution, significantly transforming the process of identifying entities responsible for cyberattacks
The Fair, which took place between March 7 and 9 at IFEMA, was attended by ten IMDEA Software researchers.
This is the second edition of an event that was born to publicize the science developed by women scientists of the Montegancedo Campus, on the occasion of the International Day of Women and Girls in Science.
IMDEA Software researcher Kyveli Doveri presented her doctoral thesis: "A Uniform Approach to Language Containment Problems" last Friday, February 16 at the ETSIINF of the UPM.
The workshop, given by Mike Young, was focused on aspects related to how to use social media to increase impact or how to engage with your peers and access opportunities, among other things
The IMDEA Software researcher made yesterday his thesis defense: “Succinct Cryptographic Commitments with Fine-Grained Openings for Decentralized Environments”
The event, organized by the Austrian Institute of Technology was a unique opportunity to discuss the latest trends in secure quantum communication.
The event, organized by the Autonomous University of Madrid and BeAble Capital, is the largest international meeting on deep science.