| (No se muestran 15 ediciones intermedias de 2 usuarios) | |||
| 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.