IMDEA Software Institute News
Her interest in using machine learning for building better software systems came after an internship at AMD Research
As part of its commitment to bring the best research talent to Madrid, the IMDEA Software Institute developed its first action plan in 2021.
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.
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.
Up to 90 people attended virtually to the XVI edition of the REDIMadrid Conference
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
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
Both researchers managed to earned the support of the audience by telling briefly and in a non-technical way what their thesis is about.
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
"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,
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
ALP Executive Board members are elected by a popular vote within the community among candidates proposed for their contributions and recognition within logic programming
Relational logics for higher-order effectful programs
Fruitful discussions regarding strategies for talent attraction and retention were manteined
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