IMDEA Software

IMDEA initiative

news & events

May 22, 2023

EuroSys is a premier conference on various aspects of systems software research and development, including its ramifications for hardware and applications

May 18, 2023

The workshop brought together experts from different branches of research within Model-Driven Engineering (MDE) to discuss their techniques, advances and applications to different domains

May 12, 2023

His work: "Algebraic Constraint Systems for Cryptographic Proofs applied to SHA-256" provides the basis for the demonstration and verification of hash code through matrices.

May 3, 2023

Aleks Nanevski has dedicated his life to solving one of the biggest computer science challenges, taking a long and risky road towards revolutionizing how we think about programming