Programa Oficial de Doctorado en Tecnologías Informáticas Avanzadas
(con Mención de Excelencia de la ANECA -BOE de 20/10/2011-)
Grupo de Investigación DEC-TAU de la UCLM
(Programación Declarativa y Transformación Automática de Programas)