| Programación y cálculo simbólico (PSYCOTRIP)
Tratan de mejorar la calidad de los sistemas de software, asegurándose de que son correctos, es decir, de que funcionan como uno espera, sin “colgarse” ni dar errores.
Para lograrlo es necesario formular lo que quieres que haga el programa de forma precisa, en un lenguaje no ambiguo. Las técnicas de “razonamiento mecanizado” les permiten simular procesos de razonamiento y expresarlo a través de fórmulas matemáticas.
Trabajan también en el desarrollo de técnicas que permitan actualizar las bases de datos e introducir mejoras en ellas de forma suave, sin que se pierda el trabajo anterior.
Diseñan, además, aplicaciones web para Internet.
Miembros:
Julio Rubio García (responsable)
Laureano Lambán Pardo
Francisco García Izquierdo
María Vico Pascual Martínez-Losa
Ángel Luis Rubio García
César Domínguez Pérez
Eloy Javier Mata Sotés
Juan José Olarte Larrea
Jesús María Aransay Azofra
Eduardo Sáenz de Cabezón Irigaray
Míriam Andrés Gómez
Arturo Jaime Elizondo
Elsa García Ibáñez
Ana Romero Ibáñez
Departamento:
Matemáticas y Computación
Actividades y proyectos:
Asesoría en sistemas de software.
Programación para Internet.
Desarrollo del programa informático Kenzo
Contacto:
julio.rubio@unirioja.es
941 299 448
Enlaces:
 catálogo de grupos
| 
