Línea de investigación: Aplicaciones de la lógica a la informáticaLógica a la Informática.Estudio y desarrollo de fundamentos, métodos y herramientas basados en la lógica para la resolución de problemas computacionalmente complejos.