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 Program Analysis and Verification, Languages and Compilers, and Security and Privacy:

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