The IMDEA Software Institute

Thaleia Doudali improves computer systems with machine learning and computer vision, and makes inclusion efforts in academia

Thaleia Doudali improves computer systems with machine learning and computer vision, and makes inclusion efforts in academia

- Dec 20, 2021 -

Euraxess grants the IMDEA Software Institute with the "HR Excellence in research" award

Euraxess grants the IMDEA Software Institute with the "HR Excellence in research" award

- Dec 1, 2021 -

Two former PhD students of the Institute, awarded with the UPM's 2019-2020 Outstanding Thesis Award

Two former PhD students of the Institute, awarded with the UPM's 2019-2020 Outstanding Thesis Award

- Nov 29, 2021 -

Students from Pozuelo de Alarcón and Ciempozuelos high schools have participated in the "Gymkhana: Software Matters"

Students from Pozuelo de Alarcón and Ciempozuelos high schools have participated in the "Gymkhana: Software Matters"

- Nov 11, 2021 -

Ana Isabel Cremades, from the Madrid Regional Government, opened this year's REDIMadrid conference

- Oct 21, 2021 -

Informatics Europe organises the Workshop for Leaders of Informatics Research and Education in October

Informatics Europe organises the Workshop for Leaders of Informatics Research and Education in October

- Oct 19, 2021 -

Strong participation of the IMDEA Software Institute at top conference ICLP'21

Strong participation of the IMDEA Software Institute at top conference ICLP'21

- Sep 27, 2021 -

Six researchers from IMDEA Software attend the CEDI 2021 Congress

Six researchers from IMDEA Software attend the CEDI 2021 Congress

- Sep 21, 2021 -

The Vice-Ministers and Directors General of the Regional Government of Madrid visit the IMDEA Networks Institute

The Vice-Ministers and Directors General of the Regional Government of Madrid visit the IMDEA Networks Institute

- Sep 15, 2021 -

KTH Royal Institute of Technology and IMDEA Software win one of Facebook’s "2021 Privacy-Enhancing Technologies RFP" Awards

KTH Royal Institute of Technology and IMDEA Software win one of Facebook’s "2021 Privacy-Enhancing Technologies RFP" Awards

- Aug 6, 2021 -

Isabel García defended successfully her thesis: "A scalable static analysis framework for reliable program development exploiting incrementality and modularity"

Isabel García defended successfully her thesis: "A scalable static analysis framework for reliable program development exploiting incrementality and modularity"

- Jul 26, 2021 -

Silvia Sebastián and Anaïs Querol have been recognized by the UPM contest "Your thesis in a nutshell"

Silvia Sebastián and Anaïs Querol have been recognized by the UPM contest "Your thesis in a nutshell"

- Jun 29, 2021 -

A study develops a new protocol that makes cryptocurrency transactions faster and safer

A study develops a new protocol that makes cryptocurrency transactions faster and safer

- Jun 18, 2021 -

The IMDEA Software Institute was present at the IEEE International Conference on Robotics and Automation

The IMDEA Software Institute was present at the IEEE International Conference on Robotics and Automation

- Jun 7, 2021 -

Hardware-Software Contracts for Secure Speculation wins the Best Paper Award at the 42nd IEEE Symposium on Security and Privacy

Hardware-Software Contracts for Secure Speculation wins the Best Paper Award at the 42nd IEEE Symposium on Security and Privacy

- May 26, 2021 -

Achieving privacy and integrity in the cloud

Achieving privacy and integrity in the cloud

- Apr 22, 2021 -

Six papers from researchers of the IMDEA Software Institute have been accepted at the 42nd IEEE Symposium on Security and Privacy

Six papers from researchers of the IMDEA Software Institute have been accepted at the 42nd IEEE Symposium on Security and Privacy

- Apr 8, 2021 -

Maximiliano Klemen defends sucesfully his thesis: "A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking"

Maximiliano Klemen defends sucesfully his thesis: "A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking"

- Mar 20, 2021 -

Jose F. Morales has been elected to the Executive Board of the Association for Logic Programming

Jose F. Morales has been elected to the Executive Board of the Association for Logic Programming

- Mar 11, 2021 -

Alejandro Aguirre has succesfully defended his thesis: "Relational logics for higher-order effectful programs"

Alejandro Aguirre has succesfully defended his thesis: "Relational logics for higher-order effectful programs"

- Mar 4, 2021 -

Institutional visit from SEDIA and CM to the IMDEA Software Institute

Institutional visit from SEDIA and CM to the IMDEA Software Institute

- Mar 2, 2021 -

Niki Vazou, elected as member of the Interim Board Of Directors of the Haskell Foundation

Niki Vazou, elected as member of the Interim Board Of Directors of the Haskell Foundation

- Feb 26, 2021 -

Manuel Hermenegildo has been re-appointed Chairman of INRIA's Scientific Board

Manuel Hermenegildo has been re-appointed Chairman of INRIA's Scientific Board

- Feb 8, 2021 -

Dario Fiore, Aikaterini Mitrokotsa, Luca Nizzardo and Elena Pagnin receive the 2020 Premium Award for Best Paper in the IET

- Feb 1, 2021 -

The paper "Angel or Devil? A Privacy Study of Mobile Parental Control Apps" has won the Research and Personal Data Protection Emilio Aced Award

- Jan 28, 2021 -

Platon Kotzias thesis: "A Systematic Empirical Analysis of Unwanted Software Abuse, Prevalence, Distribution, and Economics" has won the UPM extraordinary award 2018-2019

Platon Kotzias thesis: "A Systematic Empirical Analysis of Unwanted Software Abuse, Prevalence, Distribution, and Economics" has won the UPM extraordinary award 2018-2019

- Jan 25, 2021 -