| Línea 1: | Línea 1: | ||
== [[Investigación]] == | == [[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. | 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. | ||
Revisión del 12:06 12 jul 2021
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