Talk by Nico Lehmann: Flux: Liquid Types for Rust
October 4, 2022
Low-level pointer-manipulating programs are hard to verify, requiring complex spatial program logics that support reasoning about aliasing and separation. Worse,...
[ Read More ]
Talk by Nico Lehmann: Flux: Liquid Types for Rust
October 4, 2022
Low-level pointer-manipulating programs are hard to verify, requiring complex spatial program logics that support reasoning about aliasing and separation. Worse,...
[ Read More ]
Flux: Liquid Types for Rust
October 4, 2022
Low-level pointer-manipulating programs are hard to verify, requiring complex spatial program logics that support reasoning about aliasing and separation. Worse,...
[ Read More ]
IMDEA Software will be part of the four digitization clusters in the Madrid region
October 3, 2022
The Director of the IMDEA Software Institute, Manuel Carro, as well as Professor Pierre Ganty participated on September 30 in...
[ Read More ]
IMDEA Software, in the European Researchers Night of Madrid 2022
October 3, 2022
The Director of the IMDEA Software Institute, Manuel Carro, as well as Professor Pierre Ganty participated on September 30 in...
[ Read More ]
IMDEA Networks at the European Researchers’ Night Madrid 2022
October 3, 2022
Our Research Assistant Professor Guillermo Suárez-Tangil participated on September 30 in the scientific café organized within the framework of the...
[ Read More ]
Prof. Fernando Martín is conferred his Honorary Doctor by Stockholm University
October 3, 2022
Prof. Fernando Martín is conferred his Honorary Doctor by Stockholm University 03.10.2022 The University of Stockholm appointed Prof. Fernando Martín,...
[ Read More ]
IMDEA Software, in the European Researchers Night of Madrid 2022
October 3, 2022
The main theme of this edition was “The 5 EU missions seen by IMDEA researchers”.
[ Read More ]
Anaïs Querol presents "ARCHITECH: Advanced Research of Cryptographic Techniques to build efficient blockchains with privacy and security", her doctoral thesis
September 30, 2022
Former IMDEA Software Institute PhD student Anaïs Querol, supervised by Professor Dario Fiore, defended her thesis last September at the...
[ Read More ]
13th European Night of Researchers in Madrid
September 30, 2022
Researchers from the 7 IMDEAS institutes will talk about the five EU Missions seen by them (part I). Our colleagues...
[ Read More ]
