Grupo de investigación: Diseño y análisis formal de sistemas de software

Doutor pola Universidad de Navarra coa tese Reflection in general logics and in rewriting logic with applications to the maude languaje 1998. Dirixida por Dr/a. José Meseguer Guaita.