Sistemas de cálculo simbólico como sistemas de software: análisis, especificación, diseño, desarrollo, fiabilidad, cálculo distribuido. Algoritmos para el cálculo en Topología Algebraica y Álgebra Homológica. Sistemas distribuidos. Servicios web. Aplicaciones web y Sistemas de Información para la empresa. Técnicas de generación de contenidos web. Metamodelización conceptual y evolución de Sistemas de Información. Procesamiento de datos (Big Data). Provenance. Docencia en Informática. Aprendizaje automatizado. Análisis profundo. Análisis de imagen digital. Procesamiento de lenguaje natural.