IMDEA Software Institute News
The project has been very successful in both academic and in terms of developing the tool
An automated technique for determining whether programs are vulnerable to a specific class of micro-architectural attacks
Dec 26, 2019: Liquidate your Assets has been presented to POPL2020
The extension is great for ensuring correctness of code,
but it can also be used to improve the performance of code
“Cryptographic Techniques for the Security of Cloud and Blockchain Systems” is the thesis title
The paper was presented at ACM CCS'19 last November in London
We interviewed the pre-doctoral researcher to ask him about the scientific results of his research
The visit takes place to learn about the initiatives against climate change carried out by the Institutes.
Bravo has presented this proposal as a paper to “Principles of Distributed Computing 2020” Conference (PODC)
The IMDEA Software Institute and the University of Verona organised AVERTIS.
The research has been supported by a grant from the Intel Strategic Research Alliance.
Nov 11, 2019: The activity of the Science and Innovation Week, The Roots of Software, welcomes more than 150 high school students
An activity aimed at introducing young talents to
software research through challenges, games and videos.
Oct 17, 2019: The Rey Juan Carlos University will host the XIV REDIMadrid Conference on October 22nd
The event is a meeting point between research institutions and industry for the exchange of ideas.
An action that demonstrates the Institute’s and EIT Digital's commitment to the United Nations Sustainable Development Goals (SDG)
Sep 30, 2019: IMDEA Software participates in the 3rd season of IMDEA-CSI in the European Researchers Night
At least 200 assistants listened to what the Police and
the researcher's had to say about the evidences of this year's crime scene
The project that will install a test quantum communication infrastructure in several European countries, starts today.
Jul 15, 2019: The Madrid Regional Ministry of Education and Research visits SENER to get to know the 'Madrid Flight on Chip' project
SENER welcomed today the Madrid Regional Minister of Education and Research
and the Madrid Director General of Research and Innovation to present
the 'Madrid Flight on Chip' project.
NOVA LINCS Researcher, emeritus Professor at DI FCT NOVA,
and member of the Board of Trustees and the Scientific
Advisory Board of the IMDEA Software Institute
Jun 11, 2019: The Demo by Lucas Kuhring and Zsolt István on "Bionic Distributed Storage for Parquet Files", accepted at VLDB'19
Lucas Kuhring and Zsolt István will present the demo at the 45th International Conference on Very Large Data Bases (VLDB'19) in Los Angeles, USA
Jun 6, 2019: 2018’s Annual Report has been published
This edition updates relevant content, modifies design and estructure, and also includes three research highlights
Apr 8, 2019: Pepe Vila, speaker at RootedCON, the most important security event in Spain with more than 2,500 attendees.
The pre-doctoral researcher Pepe Vila assists as a speaker
to the most important security event in Spain
Interesting activities dedicated to show visitors the research done by the Institutes.
Mar 18, 2019: Zsolt István awarded Marie Skłodowska-Curie Individual Fellowship for the ACCORD project
The project sets out to improve blockchain systems that target Business to Business use cases
Organized by the UPM, through the Cajal Blue Brain Project and the Ontology Engineering Group, and the IMDEA Software Institute.
The Research Group aim to address major challenges of systems based on blockchains and smart contracts
Jan 16, 2019: Roberto Giacobazzi receives a distinguished article award in POPL2019 for his work in “A²I: Abstract² Interpretation”.
Roberto Giacobazzi, one of the authors of the winner paper “A²I: Abstract² Interpretation”.
Jan 15, 2019: Manuel Carro will take part in the event "Innovation and R & D in Emerging Technologies and Digital Transformation"
Manuel Carro will take part in the round table about research and innovation in Madrid.