| (No se muestran 8 ediciones intermedias del mismo usuario) | |||
| Línea 1: | Línea 1: | ||
== [ | == [[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. | |||
Revisión actual del 13:26 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 y Programa de Doctorado en Ciencias de la Computación e Inteligencia Artificial.