User:Johnny.cespedes/IMDEA Software Institute

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) of which the aim is to put in place advanced research centers and higher education and training in the Community of Madrid. 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
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
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. Among other tools, the Institute's researchers maintain the Ciao programming language and the EasyCrypt toolset for reasoning and solving relational properties of probabilistic computations with adversarial code.
 * Program Analysis and Software Verification
 * Programming Languages and Compilers
 * Computer Security and Privacy

Objectives
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.