Saila: Matemáticas y Computación

Eremua: Konputazio Zientzia eta Adimen Artifiziala

Ikerketa taldea: Grupo de Informática de la Universidad de La Rioja

E-maila: jose.divason@unirioja.es

Web-orri pertsonala: https://www.unirioja.es/cu/jodivaso/

Doctor por la Universidad de La Rioja con la tesis Formalisation and execution of Linear Algebra: theorems and algorithms 2016. Tesiaren zuzendaria Dr. Jesús María Aransay Azofra, Dr. Julio Rubio García.