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:
Our research on Program Analysis and Verification advances the foundations and the tools that enable software engineers understand the key properties of the complex systems they are building. Our results range from tools that automatically establish proofs of correctness and safety, which is paramount, for example, for avionics software, to tools that explore energy consumption profiles at design time, which is fundamental for mobile and embedded devices.
Our research on Languages and Compilers provides software engineers with the means they need to describe their ideas in more concise and modular ways, and to generate correct and performant executables from these descriptions. Progress in this area has the potential to dramatically increase programmer productivity as well as maintainability and reusability of software.
Our research on Security and Privacy delivers technology that enables computation, communication, and storage in untrusted and malicious enviroments, such as the Internet. Our results include novel cryptographic protocols as well as cutting-edge techniques for detecting and analyzing malicious activities and vulnerabilities in software, hardware, and network traffic.