Cuando usamos un programa informático no nos cuestionamos si hará bien los cálculos o si sus respuestas serán correctas. Damos por hecho que funcionan, porque de otra forma sería imposible fiarse de resultados tan importantes como los de una tomografía (escáner médico) o tan cotidianos como la reserva de un viaje por Internet. El proyecto europeo ForMath estudia, precisamente, el correcto funcionamiento de los programas de ordenador.
ForMath es un proyecto de investigación dedicado a la seguridad certificada de los programas informáticos en campos como la medicina. Implica a 23 investigadores de la Gothenburg University (Suecia), la Radboud University (Holanda), y la Universidad de La Rioja (España). Cuenta con un presupuesto de 1,8 millones de euros y un plazo de ejecución de tres años.
El proyecto se centra en la precisión numérica de los cálculos y en el procesamiento digital de imágenes, con el fin de garantizar el correcto funcionamiento del software. Para ello se utilizan técnicas matemáticas que permiten asociar a cada programa un certificado de corrección, empleando herramientas de Inteligencia Artificial (concretamente, de Razonamiento Mecanizado).
El Grupo de Investigación de Programación y Cálculo Simbólico (Psycotrip) de la Universidad de La Rioja es uno de los pioneros, en el ámbito internacional, en la aplicación de métodos formales en sistemas software de cálculo topológico-geométrico. Entre sus principales resultados figura el desarrollo de un producto propio denominado “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, como las obtenidas por escáneres, tacs, etc.
La Universidad de La Rioja aporta uno de los grupos más numerosos de investigadores. En total, siete científicos 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.
-----------------------
Más información:
Solo para medios:
Si eres periodista y quieres el contacto con los investigadores, regístrate en SINC como periodista.
Ecuaciones para modelar el crecimiento de tumores, algoritmos para probar futuras máquinas, avanzadas teorías de computación y una fórmula para marcar un gol son algunos de los temas que se han tratado esta semana en la capital andaluza durante el 9º Congreso Europeo de Matemáticas.
La frecuencia con la que los animales voladores, sean aves, insectos o murciélagos, agitan sus alas es proporcional a la raíz cuadrada de su masa corporal dividida por el área alar. Investigadores daneses han dado con esta fórmula, que también se puede aplicar para animales nadadores como las ballenas y los pingüinos.
