IMDEA Software Institute News
Dec 20, 2021: Thaleia Doudali improves computer systems with machine learning and computer vision, and makes inclusion efforts in academia
Her interest in using machine learning for building better software systems came after an internship at AMD Research
Dec 1, 2021: Euraxess grants the IMDEA Software Institute with the "HR Excellence in research" award
As part of its commitment to bring the best research talent to Madrid, the IMDEA Software Institute developed its first action plan in 2021.
Nov 29, 2021: Two former PhD students of the Institute, awarded with the UPM's 2019-2020 Outstanding Thesis Award
Pepe Vila and Joaquín Arias, two former PhD students of the IMDEA Sofwtare Institute, have won the 2019-2020 Extraordinary Doctoral Thesis Award granted by the Polytechnic University of Madrid.
Nov 11, 2021: Students from Pozuelo de Alarcón and Ciempozuelos high schools have participated in the "Gymkhana: Software Matters"
The DG for Research and Technological Innovation and
the Director of the Institute opened the event held
on the occasion of the Science and Innovation Week.
Oct 21, 2021: Ana Isabel Cremades, from the Madrid Regional Government, opened this year's REDIMadrid conference
Up to 90 people attended virtually to the XVI edition of the REDIMadrid Conference
Oct 19, 2021: Informatics Europe organises the Workshop for Leaders of Informatics Research and Education in October
The special event will be chaired by Harald Gall, University of Zurich, and Manuel Carro, ETSIINF (UPM) and IMDEA Software Institute.
Manuel Carro, Isabel Garcia-Contreras, Manuel Hermenegildo, Bishoksan Kafle, Pedro Lopez-Garcia, Jose F. Morales, Victor Perez-Carrasco and Miguel A. Sanchez-Ordaz participated by presenting papers, being panelists, PC members, or Session Chairs.
Manuel Carro, Juan Francisco García, Daniel Jurjo, Fernando Macías,
Jose F. Morales y Alessandra Gorla participate
Sep 15, 2021: The Vice-Ministers and Directors General of the Regional Government of Madrid visit the IMDEA Networks Institute
IMDEA Networks and IMDEA Software presented their latest research advances
to the delegation from the Regional Government of the Community of Madrid
Musard Balliu and Marco Guarnieri are the recipients of a Facebook Research award
Isabel completes her doctoral studies in Artificial Intelligence at UPM,
advised by the distinguished professor Manuel Hermenegildo
Jun 29, 2021: Silvia Sebastián and Anaïs Querol have been recognized by the UPM contest "Your thesis in a nutshell"
Both researchers managed to earned the support of the audience by telling briefly and in a non-technical way what their thesis is about.
Jun 18, 2021: A study develops a new protocol that makes cryptocurrency transactions faster and safer
Researchers from the IMDEA Software Institute, TU Wien and Purdue University have developed a protocol that makes more secure and faster transactions in cryptocurrencies like Bitcoin
Jun 7, 2021: The IMDEA Software Institute was present at the IEEE International Conference on Robotics and Automation
"Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions"
The paper develops a framework for defining hardware-software
contracts that capture hardware side-channel security guarantees in a simple,
mechanism-independent manner
Apr 22, 2021: Achieving privacy and integrity in the cloud
The PICOCRYPT project, led by the IMDEA Software Institute, will guarantee integrity, privacy and effectiveness of computation on data stored in the cloud
The conference, that will take place from the 23rd to 27th of May,
has recently published the list of accepted papers
The goal of static cost analysis is to automatically estimate the resources used by program executions without running the programs with concrete data, as functions of input data sizes and possibly other (environmental) parameters
Mar 11, 2021: Jose F. Morales has been elected to the Executive Board of the Association for Logic Programming
ALP Executive Board members are elected by a popular vote within the community among candidates proposed for their contributions and recognition within logic programming
Mar 4, 2021: Alejandro Aguirre has succesfully defended his thesis: "Relational logics for higher-order effectful programs"
Relational logics for higher-order effectful programs
Fruitful discussions regarding strategies for talent attraction and retention were manteined
Feb 26, 2021: Niki Vazou, elected as member of the Interim Board Of Directors of the Haskell Foundation
It is the first time the Haskell Foundation decides to create a Board of Directors
Manuel Hermenegildo, has been appointed for a second three-year term as Chairman of the Scientific Board of INRIA, the French National Institute for Research in Computer Science and Automation
"Multi-Key Homomorphic Authenticators" is the long version of a paper they first published in 2016
Parental control applications often misbehave posing privacy threats for children and even parents
"A Systematic Empirical Analysis of Unwanted Software Abuse, Prevalence, Distribution, and Economics" is the thesis title