Investigación

Líneas de investigación: Razonamiento Automático, Aprendizaje Automático, Inteligencia Artificial

Mi trabajo como investigador se enmarca de forma general dentro la Lógica Computacional, entendida como la aplicación de la Lógica a las Ciencias de la Computación e Inteligencia Artificial, y en particular en el campo del Razonamiento Automático: aplicación de sistemas de razonamiento automático para la formalización y verificación de propiedades de sistemas software, hardware y teorías matemáticas.

Docencia

Mi actividad docente se desarrolla en las titulaciones de Grado en Informática, Grado en Matemáticas, Máster Universitario en Lógica Computacional e Inteligencia Artificial, Máster Oficial en Ingeniería Informática, Máster Universitario en Ingeniería Biomédica y Salud Digital y Programa de Doctorado en Ciencias de la Computación e Inteligencia Artificial.