Grup d'investigació: Diseño y análisis formal de sistemas de software

Doctor per la Universidad de Navarra amb la tesi Reflection in general logics and in rewriting logic with applications to the maude languaje 1998. Dirigida per Dr/a. José Meseguer Guaita.