Docencia:
- Lógica Computacional, Ingeniería Informática.
- Gestión Inteligente de la Información, Ingeniería Informática.
- VALID: Verifiable Algebraic and Logic tools for Imperfect Data
Ministerio de Ciencia e Innovación, proyecto PID2022-140630NB-I00 (hasta 31 ago, 2026) - HyperXAI: Hypercomplex Explainable AI (Mathematical Foundations for Trustworthy Models)
Horizon Europe Grant: Marie Sklodowska Curie Action Staff Exchange Programme (Grant Agreement Phase)
Investigador en los siguientes Proyectos (últimos 3 años):
- GIMAC: Matemática Aplicada en Computación. Plan Andaluz de Investigación, proyecto TIC-115
- Ponente invitado en ICFCA’23, Intl Conf of Formal Concept Analysis, Jul 17- 21, 2023, Kassel, Alemania.
- Ponente invitado en FSTA’22, 16th Intl Conf of Fuzzy Sets Theory and Applications, Jan 31- Feb 4, 2022, Liptovský Ján, Eslovaquia.
- Ponente invitado en SFLA’17, III European Summer School on Fuzzy Logic, 17-20 julio 2017, Santiago de Compostela.
- Ponente invitado en ESTYLF’16, Congreso Nacional de Lógica y Tecnologías Difusas, 25-27 mayo 2016, San Sebastián.
- Ponente invitado en ESCIM’16, European Symposium on Computational Intelligence and Mathematics, 5-8 octubre 2016, Sofía, Bulgaria.
- Ponente invitado en FUZZ-IEEE’15, Intl Conf on Fuzzy Systems, 2-5 agosto 2015, Estambul.
- Editor de área de Computational and Mathematical Methods
- Editor de área de Fuzzy Sets and Systems
- Editor de área de Intl Journal of Uncertainty and Fuzziness in Knowledge-based Systems
- Editor de área de Mathematics
- Miembro del Comité Directivo del Congreso Internacional Concept Lattices and their Applications (CLA)
- Miembro del Comité Directivo del Congreso Internacional Formal Concept Analysis (ICFCA).
- Miembro del Comité Ejecutivo del Congreso Internacional Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU).
- Miembro del Comité Científico de ICLP’25, Intl Conf on Logic Programming, Sep 12-19, Cosenza, Italia.
- Miembro del Comité Científico de ESCIM’25, European Symposium on Computational Intelligence and Mathematics, May 18-21, La Coruña
- Miembro del Comité Científico de FUZZ-IEEE'25, IEEE Intl Conf on Fuzzy Systems, Jul 6-9, Reims, Francia
- Miembro del Comité Científico de EUSFLAT'25, Conf of the European Society of Fuzzy Logic and Technology, Jul 21-25, Riga, Letonia
- Miembro del Comité Científico de JELIA'25, European Conference on Logics in Artificial Intelligence, 1-5 September, Kutaisi, Georgia
Premios
- Medidas de inconsistencia y existencia de modelos estables difusos en el marco residuado.
Defendida el 22 de junio de 2011 por Nicolás Madrid, Sobresaliente cum laude y Premio a la mejor tesis sobre lógica difusa del año 2011, otorgado por la Sociedad Europea de Lógica y Tecnologías Difusas, EUSFLAT.
- Intl Conf on Conceptual Structures, ICCS’23, 11-13 septiembre 2023, Berlin. Co-Presidente del Comité Científico, junto con Kai Sauerwald (FernUniversität in Hagen)
- Foundations of Computational Intelligence, FoCI’22 4-7 diciembre, 2022, Singapur. Co-Presidente del Comité Científico, junto con Leonardo Franco (Univ Málaga, Spain) y Chao Qian (Nanjing Univ)
- MANUEL: Métodos Analíticos y Normalización Universal para Elementos Lógicos
- LYDIA: Lógicas de Yoneda y Diagramas de Independencia Algebraica
- RUBEN: Representación Universal Basada En Normalización