Investigadores del Departamento de Matemáticas y Computación de la Universidad de La Rioja participan en ForMath, un proyecto de investigación europeo que trabaja en la seguridad certificada de los programas informáticos en campos como la medicina. ForMath implica a 23 investigadores de Suecia, Holanda, Francia y España.
El proyecto ForMath cuenta con un presupuesto de 1,8 millones de ¿uros y un plazo de desarrollo de tres años. En él participan investigadores de la Gothenburg University (Sucecia), la Radboud University (Holanda), elGrupo de Investigación de Programación y Cálculo Simbólico (Psycotrip) de la UR.
La Universidad de La Rioja aporta, precisamente, uno de los grupos más numerosos de investigadores. En total, siete procedentes del Departamento de Matemáticas y Computación: el catedrático Julio Rubio, Laureano Lambán, César Domínguez, Jesús M.ª Aransay, Jónathan Heras, Vico Pascualy María Poza.
En la actualidad hay múltiples aplicaciones en la vida real que dependen del correcto funcionamiento de los programas de computador. En algunas de ellas, es imprescindible estar seguros de que su funcionamiento no producirá errores.
ForMath abordará este problema en algunos casos particulares que tienen que ver con la precisión numérica de los cálculos y el procesamiento digital de imágenes. Para ello se utilizan técnicas matemáticas que permiten asociar a cada programa un certificado de corrección, utilizando técnicas de la Inteligencia Artificial (concretamente, de Razonamiento Mecanizado).
El grupo de investigación Psycotrip de la Universidad de La Rioja es uno de los pioneros a nivel internacional de la aplicación de métodos formales en sistemas software de cálculo topológico-geométrico, como el producto de desarrollo propio llamado fKenzo.
Este conocimiento práctico va a aplicarse, dentro del proyecto europeo ForMath, al análisis geométrico de imágenes digitales, con el objetivo de mejorar la calidad de los programas dedicados al procesamiento de imágenes médicas, atacando problemas que vienen de las imágenes médicas (como las obtenidas por escáneres, tacs, etc.).
