IMDEA Software

IMDEA initiative

Home > Research

IMDEA Software Institute Research

The research activities carried out by the IMDEA Software Institute address directly its core mission: to advance the scientific and technological foundations that will allow the cost-efficient development of software characterized by sophisticated functionality and high quality, in terms of safety, reliability, and efficiency. We pursue our mission by focusing on three strategic areas, namely Security and Privacy, Program Analysis and Verification, and Languages, Compilers, and Systems:

All these areas develop work in with two complementary dimensions:

More details available in the latest Annual Report. Alternatively, visit the homepage of the researcher covering the area of your interest.