Docencia en Lógica Computacional y Gestión Inteligente de la Información
Líneas de Investigación: Métodos formales en Computación. Fundamentos Algebraicos. Razonamiento automático en
lógica clásica. Razonamiento automático en lógicas no clásicas: multivaluadas, modales, temporales y difusas.