Ikerketa taldea: Diseño y análisis formal de sistemas de software

Doctor por la Universidad de Navarra con la tesis Reflection in general logics and in rewriting logic with applications to the maude languaje 1998. Tesiaren zuzendaria Dr/a. José Meseguer Guaita.