| Línea 1: | Línea 1: | ||
== [[Investigación]] == | == [[Investigación]] == | ||
Mi trabajo como investigador se enmarca de forma general dentro la | 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]] == | == [[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 | 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 | ||
Revisión del 12:05 12 jul 2021
Investigación
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