Research - The IMDEA Software Institute

<!DOCTYPE html>  <html lang="en"> <head> <meta name="generator" content="Hugo 0.111.3"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <title>Research - The IMDEA Software Institute</title> <link rel="icon" href="/img/favicon.png"> <meta name="description" content="Madrid Institute for Advanced Studies in Software Development Technologies"> <meta name="keywords" content="Research, Software, IMDEA, IMDEA Software, IMDEA Software Institute, Computer Science"> <meta name="author" content="IMDEA Software Institute: Cesar Sanchez, Juan Cespedes, Roberto Lumbreras"> <meta name="robots" content="index, follow"> <link rel="stylesheet" type="text/css" href="/css/960.min.css"> <link rel="stylesheet" type="text/css" href="/css/imdea.min.css"> </head> <body> <div class="container_12 header"> <div class="grid_3 height_75"> <a href="/" title="IMDEA Software"><img id="logocm" alt="IMDEA Software" src="/img/logos/imdeasw-cm.svg"></a> </div> <div class="grid_9 height_75"> <div id="block-language"> <ul> <li><a class="active" href="/research/">English</a></li> <li><a href="/es/research/">Espa帽ol</a></li> </ul> </div> <p id="imdea-initiative"> <a href="https://www.imdea.org/en" title="IMDEA initiative">IMDEA initiative</a> </p> <div id="block-search"> <form action="/search/" id="cse-search-box"> <div> <input type="hidden" name="cx" value="006298786654040992202:ktqatst7koy"> <input type="hidden" name="cof" value="FORID:9"> <input type="hidden" name="ie" value="UTF-8"> <input class="search-text" type="text" name="q" size="20" value=""> <input class="search-submit" type="submit" name="sa" value="Search"> </div> </form> <script src="https://www.google.com/coop/cse/brand?form=cse-search-box&lang=en"></script> </div> </div> </div> <div class="container_12"> <div class="grid_9 prefix_3" id="region_breadcrumb"> <span><a href="/">Home</a></span> <span>></span> <span><a href="/research/">Research</a></span> </div> </div> <div class="container_12"> <div class="grid_3"> <div id="menu"> <ul class="menu"> <li class="l0"><a href="/about/">About</a></li> <li class="l0"><a href="/partners/industrial/">Partners</a></li> <li class="l0"><a href="/people/">People</a></li> <li class="l0"><a href="/careers/">Open Positions</a></li> <li class="l0"><a href="/research/" class="warm">Research</a></li> <li class="l1"><a href="/research/tools/">Tools</a></li> <li class="l1"><a href="/research/publications/">Publications</a></li> <li class="l1"><a href="/research/projects/">Projects</a></li> <li class="l0"><a href="/news/">News</a></li> <li class="l0"><a href="/events/">Events</a></li> <li class="l0"><a href="/contact/">Contact</a></li> <li class="l0"><a href="/tenders/">Public Tenders</a></li> <li class="l0"><a href="/transparency/">Transparency Portal</a></li> <li class="l0"><a href="/faq/">FAQ</a></li> </ul> </div> </div> <div class="grid_9 text"><h2 id="imdea-software-institute-research">IMDEA Software Institute Research</h2> <p>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 <em>Security and Privacy</em>, <em>Program Analysis and Verification</em>, and <em>Languages, Compilers, and Systems</em>:</p> <ul> <li> <p>Our research on <em>Security and Privacy</em> delivers technology that enables computation, communication, and storage in open, untrusted, and malicious environments, such as the Internet of Things. Our results include novel cryptographic protocols and privacy-enhancing technology, as well as cutting-edge techniques for detecting and analyzing vulnerabilities and malicious activities in software, hardware, and network traffic.</p> <p>This area is covered by: <a href="/people/gilles.barthe/">Gilles Barthe</a>, <a href="/people/juan.caballero/">Juan Caballero</a>, <a href="/people/dario.fiore/">Dario Fiore</a>, <a href="/people/alessandra.gorla/">Alessandra Gorla</a>.</p> </li> <li> <p>Our research on <em>Program Analysis and Verification</em> 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 and automotive software, to tools that explore energy consumption profiles at design time, which is fundamental for cost-effective software development in the mobile and embedded domains.</p> <p>This area is covered by: <a href="/people/gilles.barthe/">Gilles Barthe</a>, <a href="/people/juan.caballero/">Juan Caballero</a>, <a href="/people/john.gallagher/">John Gallagher</a>, <a href="/people/pierre.ganty/">Pierre Ganty</a>, <a href="/people/alexey.gotsman/">Alexey Gotsman</a>, <a href="/people/alessandra.gorla/">Alessandra Gorla</a>, <a href="/people/manuel.hermenegildo/">Manuel Hermenegildo</a>, <a href="/people/niki.vazou/">Niki Vazou</a>, <a href="/people/pedro.lopez/">Pedro L贸pez</a>, <a href="/people/josef.morales/">Jos茅 Francisco Morales</a>, <a href="/people/aleks.nanevski/">Aleks Nanevski</a>, <a href="/people/cesar.sanchez/">C茅sar S谩nchez</a>.</p> </li> <li> <p>Our research on <em>Languages, Compilers, and Systems</em> 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, and with platforms on which these programs can run efficiently. Progress in this area has the potential to dramatically increase programmer productivity as well as maintainability and reusability of software. Our results include powerful multi-paradigm programming environments, novel language-based techniques for building highly efficient and provably secure concurrent and distributed systems.</p> <p>This area is covered by: <a href="/people/gilles.barthe/">Gilles Barthe</a>, <a href="/people/manuel.carro/">Manuel Carro</a>, <a href="/people/john.gallagher/">John Gallagher</a>, <a href="/people/manuel.hermenegildo/">Manuel Hermenegildo</a>, <a href="/people/niki.vazou/">Niki Vazou</a>, <a href="/people/pedro.lopez/">Pedro L贸pez</a>, <a href="/people/josef.morales/">Jos茅 Francisco Morales</a>, <a href="/people/aleks.nanevski/">Aleks Nanevski</a>, <a href="/people/cesar.sanchez/">C茅sar S谩nchez</a>.</p> </li> </ul> <p>All these areas develop work in with two complementary dimensions:</p> <ul> <li> <p>Tools, in different degrees of maturity, that help automate the process of generating high-quality software. These are fundamental to reach the objective of technological transfer to industry.</p> </li> <li> <p>Foundations, which lay the rigorous basis for practical and sound methodologies and tools that can be used with high confidence in production environments.</p> </li> </ul> <p>More details available in the latest <a href="/about/annual-reports/">Annual Report</a>. Alternatively, visit the homepage of the researcher covering the area of your interest.</p> </div> </div> <div id="zone-footer" class="container_12"> <div class="imdea-general-logo"> <a href="https://imdea.org/en" target="_blank" ><img alt="IMDEA" src="/img/logos/imdea-cm.png"></a> </div> <ul class="footer-block"> <li><a href="/tenders/">Public Tenders</a></li> <li><a href="/contact/">Contact</a></li> </ul> <ul class="footer-block"> <li><a href="/transparency/">Transparency</a></li> <li><a href="/faq/">FAQ</a></li> </ul> <div class="footer-block"> <small>Follow us:</small><br> <a href="https://twitter.com/IMDEA_Software" target="_blank"><img class="social-media" alt="Twitter" title="Twitter" src="/img/icon-twitter.png" height="32" width="32"></a> <a href="https://www.facebook.com/IMDEA.Software" target="_blank"><img class="social-media" alt="Facebook" title="Facebook" src="/img/icon-facebook.png" height="32" width="32"></a> <a href="https://www.linkedin.com/company/imdea-software-institute/" target="_blank"><img class="social-media" alt="Linkedin" title="Linkedin" src="/img/icon-linkedin.png" height="32" width="32"></a> <a href="https://www.instagram.com/imdea_software/" target="_blank"><img class="social-media" alt="Instagram" title="Instagram" src="/img/icon-instagram.png" height="32" width="32"></a> <a href="https://www.youtube.com/channel/UCPijnjJkoDfOOlY8vp1wpAQ" target="_blank"><img class="social-media" alt="YouTube" title="YouTube" src="/img/icon-youtube.png" height="32" width="32"></a> <a href="https://github.com/IMDEA-Software" target="_blank"><img class="social-media" alt="GitHub" title="GitHub" src="/img/icon-github.png" height="32" width="32"></a> </div> <div class="eu-mad-logos"> <a href="http://www.madrid.org"><img alt="Madrid" src="/img/logos/cm-2019.png"></a> <img alt="UE" src="/img/logos/UE.png"> </div> <div class="footer-links-bottom"> <small> <em> <a href="https://www.imdea.org/en/eduroam/" target="_blank">eduroam</a> | <a href="https://www.imdea.org/en/disclaimer/" target="_blank">Disclaimer</a> | <a href="https://www.imdea.org/en/privacy-policy/" target="_blank">Privacy Policy</a> | <a href="https://www.imdea.org/en/accessibility/" target="_blank">Accessibility</a> | <a href="/transparency/personal-data/">Personal data</a> | <a href="https://software.imdea.org/intranet/">Intranet</a> </em> </small> </div> <div class="footer-address"> <small>IMDEA Software Institute | Campus Montegancedo, s/n | 28223 Pozuelo de Alarc贸n (Madrid) Spain</small> </div> <div class="footer-copyright"> <small> <em>© 2025 Fundaci贸n IMDEA Software</em> </small> </div> </div> </body> </html>

CINXE.COM

Research - The IMDEA Software Institute