User:Johnny.cespedes/IMDEA Software Institute
This is not a Wikipedia article: It is an individual user's work-in-progress page, and may be incomplete and/or unreliable. For guidance on developing this draft, see Wikipedia:So you made a userspace draft. Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
Founded | 2006 |
---|---|
Focus | Research |
Location | |
Key people |
|
Website | www.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:
- Program Analysis and Software Verification
- Programming Languages and Compilers
- Computer Security and Privacy
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]- ^ Planes Regionales Planes Regionales de Ciencia y Tecnología de la Comunidad de Madrid, or, Community of Madrid Science and Technology Plans, in English
- ^ 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
- ^ 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
- ^ CVE-2015-0204
- ^ EasyCrypt: Computer-Aided Cryptographic Proofs
External links
[edit]- Community of Madrid (in Spanish)
- Madri+d
- IMDEA
- IMDEA Energy Institute
- IMDEA Food Institute
- IMDEA Materials Institute
- IMDEA Nanoscience Institute
- IMDEA Networks Institute
- IMDEA Software Institute
- IMDEA Water Institute
- IMDEA Software Institute Annual Report 2016
Category:Research institutes in the Community of Madrid
Category:Science and technology in Spain
Category:Non-profit organisations based in Spain