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