Research group: Diseño y análisis formal de sistemas de software

Doctor by the Universidad de Navarra with the thesis Reflection in general logics and in rewriting logic with applications to the maude languaje 1998. Supervised by Dr. José Meseguer Guaita.