Universidad de La RiojaCampus Iberus    
 
 
Principal Office 365 Correo-web Directorio Mapa web Contacto
Información para
Estudiantes
Admisión y Matrícula
Foreign students
Antiguos alumnos
Empresas
Visitantes
PDI/PAS
Información sobre
Universidad de La Rioja
Estudios
Campus Virtual
Investigación
Portal de Investigación
Escuela Máster y Doctorado
Centro de Idiomas
Facultades y Escuelas
Departamentos
Administración y Servicios
Biblioteca
Fundación de la UR
Fundación Dialnet
Portal de transparencia
Defensoría Universitaria
Unidad de Igualdad
Oficina de Sostenibilidad
Sede electrónica
Actualidad
Noticias
Agenda
Congresos y jornadas
Plazas PDI/PAS
Perfil del contratante
Boletines y publicaciones
 
Sede Electrónica
Tablón Electrónico
Cita Previa
Oficina del Estudiante
 
 
facebook Twitter You Tube Flickr
pinterest linkedin instagram
 
Noticias

La red implica a 23 investigadores de Suecia, Holanda y España
Formath, proyecto europeo sobre seguridad informática

6 de septiembre de 2010
Investigadores de la UR participan en ForMath, red europea sobre seguridad certificada de programas informáticos.

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.).

comunicacion@adm.unirioja.es


Investigadores de ForMath y el vicerrector de Investigación.
Descargar imagen de alta resolución.
www.formath.cs.ru.nl
Noticias relacionadas

Jornadas Científicas RSM sobre Informática y Matemáticas

Perla AICA para el procesamiento de imágenes biomédicas

Seguridad informática para análisis neurológicos

Convenio Repsol-Red Española Matemática-Industrial

Plataforma de cómputo intensivo RiojaScience@home

María Poza obtiene el título de doctora por la UR

Proyecto de supercomputación en la Universidad de La Rioja

Video con la conferencia de Richard M. Stallman

Jose Divasón Mallaragay obtiene el grado de doctor
Sobre este web | © Universidad de La Rioja