Fue, junto a Domingo Gundisalvo, el principal traductor del árabe al castellano en la primera época de la Escuela de Traductores de Toledo.