IMDEA Software Institute News
May 31, 2023: IMDEA Software and IMDEA Networks work to deploy in Madrid "MadQCI": Europe's largest quantum network
The network will connect data centers of the universities of the Community of Madrid and the IMDEA Software and IMDEA Networks Institutes
May 22, 2023: Konstantinos Papaioannou wins the Distinguished Artifact Evaluator Award at EuroSys 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: Fernando Macías organizes a workshop based on Model-Driven Engineering at IMDEA Software
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
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: The project “MATHADOR: Type and Proof Structures for Concurrent Software Verification”, led by Aleks Nanevski, ends
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
Apr 25, 2023: Martín Ceresa presents his thesis: "Theory of Improvements with Effects", based on program optimization
When modifying a program, it must be shown that the semantics of the program are preserved.
Mar 27, 2023: Record of attendance at the Madrid is Science Fair with the participation of IMDEA Institutes
From March 23rd to 25th IMDEA Institutes participated in the science outreach Fair aimed at school communities and the general public.
Mar 13, 2023: IMDEA Software sponsors and participates in the AdaByron programming contest in Madrid
Manuel Carro, Juan Céspedes and Margarita Capretto have been part of the competition jury, and Ignacio Ballesteros has been part of the organizing committee
Feb 24, 2023: IMDEA Software participates together with the rest of IMDEAs in the Biennial City and Science 2023
Martín Ceresa and Gabina Bianchi represented the Institute at the Circulo de Bellas Artes
Feb 17, 2023: IMDEA Software participates in Transfiere, a key professional and multisectorial forum for the transfer of knowledge
Juan José Collazo, Project Manager of IMDEA Software, attended on behalf of the Institute and shared space with colleagues from other IMDEAs.
An event organized by the Campus research centers.
The project has a consortium composed of 12 entities. The Spanish participation is represented by the IMDEA Software Institute and the company Telefónica Research and Development.
Jan 19, 2023: Manuel Hermenegildo has been elected ACM fellow
The Association for Computing Machinery, has named 57 of its members, including Manuel Hermenegildo, ACM Fellows for wide-ranging and fundamental contributions to Computer Science.