Dentro de la oferta de proyectos fin de carrera de la Ingeniería Técnica en Informática de Gestión de la Universida de La Rioja se pueden encontrar los siguientes proyectos. Si estás interesado en alguno de ellos, o tienes alguna otra idea que consideres que puede ser adecuada, puedes ponerte en contacto conmigo:
- Análisis e implementación de algoritmos de compresión en Isabelle/HOL.
- Repositorio de artículos para grupos de investigación.
Última modificación: 30 de Abril de 20010