The IMDEA Software Institute

César Sánchez: The ElasTest project improves the efficiency and effectiveness of the testing process and the overall quality of large software systems

César Sánchez: The ElasTest project improves the efficiency and effectiveness of the testing process and the overall quality of large software systems

- Dec 30, 2019 -

Marco Guarnieri: “Using Spectector, we detected subtle bugs in the way countermeasures against speculative execution attacks are placed by major compilers”

Marco Guarnieri: “Using Spectector, we detected subtle bugs in the way countermeasures against speculative execution attacks are placed by major compilers”

- Dec 27, 2019 -

Liquidate your Assets has been presented to POPL2020

Liquidate your Assets has been presented to POPL2020

- Dec 26, 2019 -

Luca Nizzardo’s thesis: "Cryptographic Techniques for the Security of Cloud and Blockchain Systems" has won the UPM extraordinary award 2017-2018

Luca Nizzardo’s thesis: "Cryptographic Techniques for the Security of Cloud and Blockchain Systems" has won the UPM extraordinary award 2017-2018

- Dec 20, 2019 -

Dario Fiore, Anaïs Querol and Matteo Campanelli have developed LegoSNARK, an efficient and modular framework to certify private data with minimal disclosure

Dario Fiore, Anaïs Querol and Matteo Campanelli have developed LegoSNARK, an efficient and modular framework to certify private data with minimal disclosure

- Dec 10, 2019 -

Pedro Valero: On Facebook I have been studying the applications of grammar-based compression algorithms within industry

- Dec 4, 2019 -

The directors of the seven IMDEA Institutes meet at IMDEA Energy to receive the Vice-President of the Community of Madrid and the Regional Minister of Science, Universities and Innovation

The directors of the seven IMDEA Institutes meet at IMDEA Energy to receive the Vice-President of the Community of Madrid and the Regional Minister of Science, Universities and Innovation

- Dec 4, 2019 -

Manuel Bravo designs algorithms for transaction processing in FARM-like databases to increase confidence in the correctness

Manuel Bravo designs algorithms for transaction processing in FARM-like databases to increase confidence in the correctness

- Dec 2, 2019 -

More than 12 experts as speakers at the Analisys, Verification and Transformation for Declarative Programming and Intelligent Systems event

- Nov 29, 2019 -

Researchers from the IMDEA Software Institute, Microsoft Research, and Saarland University have created Spectector, a tool that detects speculative leaks

Researchers from the IMDEA Software Institute, Microsoft Research, and Saarland University have created Spectector, a tool that detects speculative leaks

- Nov 14, 2019 -

The activity of the Science and Innovation Week, The Roots of Software, welcomes more than 150 high school students

The activity of the Science and Innovation Week, The Roots of Software, welcomes more than 150 high school students

- Nov 11, 2019 -

The Rey Juan Carlos University will host the XIV REDIMadrid Conference on October 22nd

The Rey Juan Carlos University will host the XIV REDIMadrid Conference on October 22nd

- Oct 17, 2019 -

The IMDEA Software Institute and EIT Digital organize the first hackathon in Spain on the use of blockchain for environmental action

The IMDEA Software Institute and EIT Digital organize the first hackathon in Spain on the use of blockchain for environmental action

- Oct 1, 2019 -

IMDEA Software participates in the 3rd season of IMDEA-CSI in the European Researchers Night

IMDEA Software participates in the 3rd season of IMDEA-CSI in the European Researchers Night

- Sep 30, 2019 -

IMDEA Software, through REDIMadrid, will participate in the EU Project OPENQKD

IMDEA Software, through REDIMadrid, will participate in the EU Project OPENQKD

- Sep 2, 2019 -

The Madrid Regional Ministry of Education and Research visits SENER to get to know the 'Madrid Flight on Chip' project

The Madrid Regional Ministry of Education and Research visits SENER to get to know the 'Madrid Flight on Chip' project

- Jul 15, 2019 -

Luís Moniz Pereira has been awarded the Portugal National Science Merit Award 2019

Luís Moniz Pereira has been awarded the Portugal National Science Merit Award 2019

- Jul 11, 2019 -

The Demo by Lucas Kuhring and Zsolt István on "Bionic Distributed Storage for Parquet Files", accepted at VLDB'19

The Demo by Lucas Kuhring and Zsolt István on "Bionic Distributed Storage for Parquet Files", accepted at VLDB'19

- Jun 11, 2019 -

2018’s Annual Report has been published

2018’s Annual Report has been published

- Jun 6, 2019 -

Pepe Vila, speaker at RootedCON, the most important security event in Spain with more than 2,500 attendees.

Pepe Vila, speaker at RootedCON, the most important security event in Spain with more than 2,500 attendees.

- Apr 8, 2019 -

The IMDEA Software Institute manages to disseminate science and promote STEM vocations at the Madrid Fair for Science and Innovation

- Apr 2, 2019 -

Zsolt István awarded Marie Skłodowska-Curie Individual Fellowship for the ACCORD project

Zsolt István awarded Marie Skłodowska-Curie Individual Fellowship for the ACCORD project

- Mar 18, 2019 -

Next Monday will take place the Session "I+D+M². Women in Montegancedo"

- Feb 8, 2019 -

IMDEA Software, UCM and UPM start the research project BLOQUES-CM

IMDEA Software, UCM and UPM start the research project BLOQUES-CM

- Feb 5, 2019 -

Roberto Giacobazzi receives a distinguished article award in POPL2019 for his work in “A²I: Abstract² Interpretation”.

Roberto Giacobazzi receives a distinguished article award in POPL2019 for his work in “A²I: Abstract² Interpretation”.

- Jan 16, 2019 -

Manuel Carro will take part in the event "Innovation and R & D in Emerging Technologies and Digital Transformation"

- Jan 15, 2019 -