| Línea 1: | Línea 1: | ||
== [[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]] == | == [[Docencia]] == | ||
La docencia | |||
Revisión del 12:01 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
La docencia