Zientzia Fisikoetako lizentziatura Salamancako Unibertsitatean erdietsi zuen, eta Matematikako doktoregoa Nafarroako Unibertsitate Publikoan, non irakatsi eta ikertzen duen 1991tik. Gaur egun, Automatika eta Konputazio Saileko katedraduna da eta adimen artifizialari buruzko klaseak ematen ditu. NUPeko GIARA (Adimen artifiziala eta arrazonamendu hurbila) ikerketa taldeko arduraduna.

 

155 artikulu zientifiko baino gehiago burutu ditu, ehundik gorako ekarpen egin ditu nazioarteko kongresuetan eta logika lausoari buruzko lau libururen egilekidea da.