A Pre-Expectation Calculus for Probabilistic Sensitivity
March 9, 2021
Sensitivity properties describe how changes to the input of a program affect the output, typically by upper bounding the distance...
[ Read More ]
PRODIGIO: Towards the optimization of algal biomass bioconversion into biogas at industrial scale
March 4, 2021
PRODIGIO project started up on 1st January 2021. The main objective of PRODIGIO is the development of a system failure...
[ Read More ]
Feasibility of solar jet fuel production from carbon dioxide and water
March 4, 2021
Solar fuels could contribute to solving one of the most relevant current energy challenges: the switch to a renewable transportation...
[ Read More ]
Alejandro Aguirre has succesfully defended his thesis: "Relational logics for higher-order effectful programs"
March 4, 2021
PhD defense The researcher from thr Institute IMDEA Software, Alejandro Aguirre, advised by Prof. Gilles Barthe, has recently defended his...
[ Read More ]
Alejandro Aguirre has succesfully defended his thesis: “Relational logics for higher-order effectful programs”
March 4, 2021
Relational logics for higher-order effectful programs
[ Read More ]
Talk by Vanessa Frías-Martínez: Data-driven decision making for cities and communities
March 3, 2021
The pervasiveness of cell phones, mobile applications and social media generates vast amounts of digital traces that can reveal a...
[ Read More ]
Data-driven decision making for cities and communities
March 3, 2021
The pervasiveness of cell phones, mobile applications and social media generates vast amounts of digital traces that can reveal a...
[ Read More ]
Institutional visit from SEDIA and CM to the IMDEA Software Institute
March 2, 2021
Institutional visit The Secretary of State for Digitisation and Artificial Intelligence, Carme Artigas, the Regional Minister for Science, Universities and...
[ Read More ]
Institutional visit from SEDIA and CM to the IMDEA Software Institute
March 2, 2021
Fruitful discussions regarding strategies for talent attraction and retention were manteined
[ Read More ]
