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: jose.divason@unirioja.es

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

Doctor by the Universidad de La Rioja with the thesis Formalisation and execution of Linear Algebra: theorems and algorithms 2016. Supervised by Dr. Jesús María Aransay Azofra, Dr. Julio Rubio García.