![Foto de Jesús María](/img/uploaded/0B7D99F6F62958828DD2B7D8EE113D6E.jpg)
Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
Tese doutoral
-
Razonamiento mecanizado en álgebra homológica 2006
Universidad de La Rioja
Teses dirixidas (1)
-
Formalisation and execution of Linear Algebra: theorems and algorithms 2016
Universidad de La Rioja
Tribunais de teses (1)
-
Vogal do tribunal
Certificación formal de programas en un lenguaje funcional impaciente 2012Universidad Complutense de Madrid
Dios Castro, Javier de