Department: Matemáticas y Computación

Area: Computer Science and Artificial Intelligence

Research group: Grupo de Informática de la Universidad de La Rioja

Email: jesus-maria.aransay@unirioja.es

Doctor by the Universidad de La Rioja with the thesis Razonamiento mecanizado en álgebra homológica 2006. Supervised by Dr. Clemens Ballarin, Dr. Julio Rubio García.