Suscríbete al boletín semanal

Suscríbete para recibir cada semana el boletín SINC con los contenidos más relevantes y no te pierdas nada de la actualidad científica.

Suscríbete al boletín semanal
Si estás registrado

No podrás conectarte si excedes diez intentos fallidos.

Si todavía no estás registrado

La Agencia SINC ofrece servicios diferentes dependiendo de tu perfil.

Selecciona el tuyo:

Periodistas Instituciones
Si estás registrado

No podrás conectarte si excedes diez intentos fallidos.

Si todavía no estás registrado

La Agencia SINC ofrece servicios diferentes dependiendo de tu perfil.

Selecciona el tuyo:

Periodistas Instituciones

ForMath, un proyecto europeo de seguridad informática

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:

http://www.formath.cs.ru.nl

Fuente: Universidad de La Rioja
Derechos: Creative Commons

Solo para medios:

Si eres periodista y quieres el contacto con los investigadores, regístrate en SINC como periodista.