Fachbereich: Matemáticas y Computación

Bereich: Informatik und künstliche Intelligenz

Forschungsgruppe: Grupo de Informática de la Universidad de La Rioja

Email: jose.divason@unirioja.es

Persönliche Website: https://www.unirioja.es/cu/jodivaso/

Doktor von der Universidad de La Rioja mit der Dissertation Formalisation and execution of Linear Algebra: theorems and algorithms 2016. unter der Leitung von Dr. Jesús María Aransay Azofra, Dr. Julio Rubio García.