IMDEA Software

IMDEA initiative

Home > News > 2024

IMDEA Software Institute News

The paper received the award because it industrialised the verification technology of refinement types and presented the tool Liquid Haskell that is actively used 10 years later both for education and software verification.
The flagship research meeting on Automata, Logic, Semantics, and Theory of Programming awarded Alessio and his coauthors Dmitry Chistikov and Mikhail Starchak for a paper providing a NP procedure to decide whether a linear-exponential system of constraints has an integer solution.
César Sánchez and David Rincón from REDIMadrid are part of the authors of the article that publishes the conclusions of three years of tests.
The FIXCHECK tool offers a robust and effective solution in the field of software maintenance, reveals bugs and prevents the introduction of inadequate corrections in the software.
Manuel Carro and María Alcaraz welcomed and accompanied the delegation on its tour around the Institute. Researchers Aleks Nanevski, Juan Caballero, Alessandra Gorla and Manuel Hermenegildo explained what IMDEA Software is working on.
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.