Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Área: Linguaxes e Sistemas Informáticos

Doutor pola Universidad Complutense de Madrid coa tese Semántica de simulación para relaciones de conformidad 2015. Dirixida por Dr. Carlos Gregorio Rodríguez, Dr. L. F. Llana.