Department: Matemáticas y Computación

Area: Computer Languages and Systems

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

Email: jonathan.heras@unirioja.es

Personal web: https://www.unirioja.es/cu/joheras/

Doctor by the Universidad de La Rioja with the thesis Gestión mecanizada del conocimiento matemático en topología algebraica 2011. Supervised by Dr. María Vico Pascual Martínez-Losa, Dr. Julio Rubio García.