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) - FLAIR: Fuzzy, Logic-based, and Algebraic tools for Information Resources
Ministerio de Ciencia e Innovación, proyecto PGC2018-095869-B-I00 (hasta 31 dic, 2022) - Matemáticas para la Información Imperfecta
Programa Operativo FEDER Andalucía 2014-2020, proyecto UMA2018-FEDERJA-001 (hasta 14 nov, 2022)
- Digital forensics: evidence analysis via intelligent systems and practices
EU COST Action CA17124 (hasta 30 sep, 2022) - Análisis e implementación de estrategias de enseñanza-aprendizaje en asignaturas de Matemáticas mediante detección de dependencias entre contenidos
Proyectos de Innovación Educativa de la UMA, proyecto PIE19-168 (hasta 30 sep, 2021) - 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 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
- Miembro del Comité Científico de ICLP’24, Intl Conf on Logic Programming, Oct 11-17, Dallas, EE.UU.
- Miembro del Comité Científico de EPIA’24, Portuguese Conf on Artificial Intelligence, Sep 3-6, Viana do Castelo, Portugal
- Miembro del Comité Científico de ESCIM’24, European Symposium on Computational Intelligence and Mathematics, May 12-15, Cracovia, Polonia
- Miembro del Comité Científico de IJCRS’24, Intl Joint Conference on Rough Sets, May 17-20, Halifax, Canadá
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)
- Foundations of Computational Intelligence, FoCI’21, 5-7 diciembre 2021, Orlando (EE.UU.) Co-Presidente del Comité Científico, junto con Leonardo Franco (Univ Málaga), Pietro Oliveto (Univ Sheffield) y Chao Qian (Nanjing Univ)
Planes a largo plazo
- 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