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.