User:Johnny.cespedes/IMDEA Software Institute

Johnny.cespedes/IMDEA Software Institute
Founded2006
FocusResearch
Location
Key people
  • Prof. Dr. Manuel Carro, Director
  • Dr. Juan Caballero, Deputy Director
  • Prof. Dr. David S. Warren, President of the Board of Trustees
  • Prof. Dr. Manuel Hermenegildo, Distinguished Professor
  • Dr. Gilles Barthe, Research Professor
  • Prof. Dr. John Gallagher, Research Professor
  • Prof. Dr. Juan José Moreno, Research Professor
Websitewww.software.imdea.org

IMDEA Software Institute is one of the seven IMDEA Institutes created by the Madrid Regional Government as part of the IV Regional Plan of Scientific Research and Technological Innovation 2005-2008 (PRICIT)[1] of which the aim is to put in place advanced research centers and higher education and training in the Community of Madrid.[2][3] IMDEA Software Institute is engaged in cutting-edge science in all areas of software. It was legally constituted under Spanish law at the end of 2006 as a public, not-for-profit Foundation. The full, registered name of the Institute is Fundación IMDEA Software. The IMDEA Software Institute is located in the Montegancedo Campus (Madrid, Spain) from Technical University of Madrid (UPM).

Organization

edit

The Board of Trustees of IMDEA Software Institute is its highest organ of governance, representation and administration. It consists of representative bodies from the public and private sector with an interest in the Institute. Within the organizational structure of the Institute there is also a Scientific Advisory Board, composed of internationally renowned researchers in the areas of knowledge where the foundation is focused. The current members of the Scientific Advisory Board are: David S. Warren (Chair), Maria Alpuente, Patrick Cousot, Veronica Dahl, Roberto Di Cosmo, Herbert Kuchen, José Meseguer, Luís Moniz Pereira and Martin Wirsing.

Research

edit

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:

Researchers at the IMDEA Software Institute were part of the group that discovered the FREAK attack in the SSL/TLS protocol[4]. Among other tools, the Institute's researchers maintain the Ciao programming language and the EasyCrypt[5] toolset for reasoning and solving relational properties of probabilistic computations with adversarial code.

Objectives

edit

According to its statutes, the mission of IMDEA Software Institute is to perform research addressing technologies which allow the cost-effective development of software products with sophisticated functionality and high quality, i.e., safe, reliable, and efficient.

See Also

edit

References

edit
  1. ^ Planes Regionales Planes Regionales de Ciencia y Tecnología de la Comunidad de Madrid, or, Community of Madrid Science and Technology Plans, in English
  2. ^ Madrid.org Inversión de 14,4 millones en los ocho IMDEA para fomentar la investigación científica, or, 14,4 millions invested in the 8 IMDEA Institutes to promote scientific research, in English
  3. ^ La Voz Libre Madrid potencia la investigación científica con más de 14 millones de euros, or, Madrid fosters scientific research with over 14 million euros, in English
  4. ^ CVE-2015-0204
  5. ^ EasyCrypt: Computer-Aided Cryptographic Proofs
edit


Category:Research institutes in the Community of Madrid Category:Science and technology in Spain Category:Non-profit organisations based in Spain