Almost Sure Productivity
June 12, 2018
A program that computes on an infinite data structure, such as an infinite list or tree cannot be expected to...
[ Read More ]
José Antonio Ruipérez Valiente, 2018 Research Award Spanish Computer Science Association (SCIE) and BBVA Foundation
June 11, 2018
IMDEA Networks Institute is proud to announce that a recent incorporation to our alumni network, José Antonio Ruipérez-Valiente, who completed...
[ Read More ]
Luz Wavelabs joins 5TONIC project as industry collaborator
June 8, 2018
Innovative wireless data company Luz Wavelabs has become a new collaborator within 5TONIC’s 5G research and co-creation laboratory in Madrid. ...
[ Read More ]
Talk by Thomas Dullien: Weird Machines, Exploitability, and Provable Unexploitability
June 7, 2018
In spite of being central to everything that is going on in IT security, the concept of “exploit” is surprisingly...
[ Read More ]
Álvaro Somoza receives the Science Communication Award from the Spanish Association Against Cancer
June 7, 2018
Álvaro Somoza receives the Science Communication Award from the Spanish Association Against Cancer 05.06.2018 Prof. Somoza with Isabel Alejandro Balet,...
[ Read More ]
Weird Machines, Exploitability, and Provable Unexploitability
June 7, 2018
In spite of being central to everything that is going on in IT security, the concept of “exploit” is surprisingly...
[ Read More ]
Juan Caballero invited speaker at Workshop on Avionics Cybersecurity
June 6, 2018
IMDEA Software Institute researcher and deputy director Juan Caballero gives an invited talk at the 1st OPTICS2 Workshop on Avionics...
[ Read More ]
Juan Caballero invited speaker at Workshop on Avionics Cybersecurity
June 6, 2018
IMDEA Software Institute researcher and deputy director Juan Caballero gives an invited talk at the 1st OPTICS2 Workshop on Avionics...
[ Read More ]
