The IMDEA Software Institute

IMDEA Software and IMDEA Networks work to deploy in Madrid "MadQCI": Europe's largest quantum network

IMDEA Software and IMDEA Networks work to deploy in Madrid "MadQCI": Europe's largest quantum network

- May 31, 2023 -

Konstantinos Papaioannou wins the Distinguished Artifact Evaluator Award at EuroSys 2023

Konstantinos Papaioannou wins the Distinguished Artifact Evaluator Award at EuroSys 2023

- May 22, 2023 -

Fernando Macías organizes a workshop based on Model-Driven Engineering at IMDEA Software

Fernando Macías organizes a workshop based on Model-Driven Engineering at IMDEA Software

- May 18, 2023 -

Miguel Morona receives the second "Leonardo Torres Quevedo" award in Cryptology and Information Security for his undergraduate thesis project

Miguel Morona receives the second "Leonardo Torres Quevedo" award in Cryptology and Information Security for his undergraduate thesis project

- May 12, 2023 -

The project “MATHADOR: Type and Proof Structures for Concurrent Software Verification”, led by Aleks Nanevski, ends

The project “MATHADOR: Type and Proof Structures for Concurrent Software Verification”, led by Aleks Nanevski, ends

- May 3, 2023 -

Martín Ceresa presents his thesis: "Theory of Improvements with Effects", based on program optimization

- Apr 25, 2023 -

Record of attendance at the Madrid is Science Fair with the participation of IMDEA Institutes

Record of attendance at the Madrid is Science Fair with the participation of IMDEA Institutes

- Mar 27, 2023 -

IMDEA Software sponsors and participates in the AdaByron programming contest in Madrid

IMDEA Software sponsors and participates in the AdaByron programming contest in Madrid

- Mar 13, 2023 -

IMDEA Software participates together with the rest of IMDEAs in the Biennial City and Science 2023

- Feb 24, 2023 -

IMDEA Software participates in Transfiere, a key professional and multisectorial forum for the transfer of knowledge

IMDEA Software participates in Transfiere, a key professional and multisectorial forum for the transfer of knowledge

- Feb 17, 2023 -

More than 230 people attended "Innovating in Feminine: Women in Montegancedo"

More than 230 people attended "Innovating in Feminine: Women in Montegancedo"

- Feb 13, 2023 -

The kick-off meeting of the Confidential6G project takes place at IMDEA Software

The kick-off meeting of the Confidential6G project takes place at IMDEA Software

- Feb 8, 2023 -

Manuel Hermenegildo has been elected ACM fellow

Manuel Hermenegildo has been elected ACM fellow

- Jan 19, 2023 -