Grupo de investigación: 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. Dirigida por Dr/a. José Meseguer Guaita.