IMDEA researchers awarded prestigious Spanish grants
September 22, 2015
IMDEA Software Institute faculty Boris Köpf, Juan Caballero and Dario Fiore each win prestigious grants from the Spanish Ministry of...
[ Read More ]
Best Paper Award at JNIC 2015.
September 15, 2015
IMDEA Software Institute faculty Dario Fiore and PhD student Luca Nizzardo, along with Dario Catalano (University of Catania), received the...
[ Read More ]
IMDEA Software Institute PhD student Alejandro Sánchez graduates
September 10, 2015
The thesis studies the formal verification of temporal properties of safety and liveness of parametrized concurrent systems, with a special...
[ Read More ]
The IMDEA Institutes in Madrid Researchers’ Night 2015
September 4, 2015
The European Researchers’ Night in Madrid 2015, coordinated by the madrimasd Foundation for Knowledge, is an action framed under the...
[ Read More ]
Science and movie scientists: Does reality surpass fiction?
September 2, 2015
How do science and movies get along? Is it true that, most of the times, truth is stranger than fiction?
[ Read More ]
Ciencia y científicos de cine ¿la realidad supera a la ficción?
September 2, 2015
¿Qué tal «se llevan» la ciencia y el cine? ¿Es cierto que, muchas veces, la realidad supera a la ficción?
[ Read More ]
Welcome Somesh Jha
September 1, 2015
It is our great pleasure to welcome Professor Somesh Jha of the University of Wisconsin, Madison as an IMDEA Software...
[ Read More ]
