EDUCACIÓN - Portal de Educación de la Comunidad de Madrid.


Noticias


Noticias

  • Imprimir PaginaImprimir Pagina

volver

19/01/2017

El Instituto IMDEA Software consigue una segunda beca ERC

El Instituto IMDEA Software consigue una segunda beca ERC
PARA UN PROYECTO DE DESARROLLO DE MÉTODOS MATEMÁTICOS

Las becas ERC del Consejo Europeo de Investigación se cuentan entre las más prestigiosas que se otorgan en Europa. Recientemente el investigador Aleksandar Nanevski, del Instituto IMDEA Software, ha sido galardonado con una de ellas, con una cuantía de 2 millones de euros. El Dr. Nanevski se convierte así en uno de los 24 investigadores radicados en España que reciben una Consolidator Grant en esta convocatoria y el segundo en el Instituto, tras el investigador Alexy Gotsman, en ser receptor de este galardón.

Las becas del ERC son, posiblemente, las más prestigiosas que se otorgan en Europa y se conceden tras un profundo proceso de selección que incluye entrevistas personales a los candidatos. Las Consolidator Grant se otorgan a investigadores que cuenten con entre 7 y 12 años de experiencia postdoctoral para permitirles desarrollar un proyecto de investigación personal con una duración de hasta cinco años.

Aleksandar Nanevski realizó su doctorado en Carnegie Mellon University y se unió al Instituto IMDEA Software en el año 2009. Previamente había disfrutado de estancias postdoctoral en la Universidad de Harvard y en Microsoft Research Cambridge y recibido importantes reconocimientos, como una beca Ramón y Cajal del gobierno español. El proyecto que le ha hecho merecedor de la beca ERC es “MATHADOR: Type and Proof Structures for Concurrent Software Verification”, que trata de desarrollar métodos matemáticos para facilitar la realizacion de pruebas de propiedades de programas complejos mediante su división en subpruebas más pequeñas y la combinación de las demostraciones de dichas subpruebas.

Las pruebas matemáticas de propiedades de programas son necesarias para asegurar que dichos programas hacen siempre lo que se espera de ellos. Asegurar que es así es esencial en determinados entornos; por ejemplo, cuando los programas manejan dispositivos de los cuales dependen directamente vidas humanas, como aparatos médicos o aviones. La necesidad se extiende a programas que son básicos para el funcionamiento de otros programas, ya que aunque un fallo de los mismos quiza no causase la pérdida directa de vidas humanas, sí podría acarrear, por ejemplo, pérdidas económicas muy sustanciales. Grandes empresas del software, como Microsoft y Amazon, usan de modo constante técnicas de este tipo para asegurar la integridad de las partes clave de sus productos. Las técnicas a desarrollar en este proyecto permitirán probar la corrección de fragmentos más grandes y complejos de estos programas.

El Instituto IMDEA Software es uno de los siete Institutos auspiciados por la Comunidad de Madrid cuyo propósito es realizar investigación puntera en sus respectivos campos. El Instituto IMDEA Software se dedica a la investigación en tecnologías viables en la práctica para el desarrollo de software fiable y eficiente, para lo que cuenta con financiación de la Comunidad de Madrid y de subvenciones públicas, como la antedicha ERC, y privadas a través de numerosos contratos con empresas.


Copyright © Comunidad de Madrid.