Inmaculada Pérez de Guzmán Molina

Catedrática de Matemática Aplicada. ETSI Informática, Universidad de Málaga

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.

Experience

  • –present
    Catedrática de Matemática Aplicada. ETSI Informática Universidad de Málaga, Universidad de Málaga

Education

  • 1975 
    Universidad de Málaga, Doctora en Matemáticas