Teaching:
- Computational Logic, Degree in Computer Science.
- Intelligent Management of Information, Degree in Computer Science.
- VALID: Verifiable Algebraic and Logic tools for Imperfect Data
Ministerio de Ciencia e Innovación, proyecto PID2022-140630NB-I00 (until Aug 31, 2026) - FLAIR: Fuzzy, Logic-based, and Algebraic tools for Information Resources
Ministry of Science and Innovation, project PGC2018-095869-B-I00 (until Dec 31, 2022) - Mathematics for Imperfect Information
Programa Operativo FEDER Andalucía 2014-2020, proyecto UMA2018-FEDERJA-001 (until Nov 14, 2022)
- Digital forensics: evidence analysis via intelligent systems and practices
EU COST Action CA17124 (until Sep 30, 2022) - Analysis and implementation of teaching-learning strategies in Mathematics by means of detection of dependencies among contents
Proyectos de Innovación Educativa de la UMA, proyecto PIE19-168 (until 30 sep, 2021) - GIMAC: Applied Mathematics in Computing. Plan Andaluz de Investigación, proyecto TIC-115
- Keynote speaker of ICFCA’23, Intl Conf of Formal Concept Analysis, Jul 17- 21, 2023, Kassel, Germany.
- Keynote speaker of FSTA’22, 16th Intl Conf of Fuzzy Sets Theory and Applications, Jan 31- Feb 4, 2022, Liptovský Ján, Slovak Republic.
- Keynote speaker of SFLA’17, III Summer School on Fuzzy Logic and Applications, Jul 17-20, 2017, Santiago de Compostela, Spain.
- Keynote speaker of ESTYLF’16, Spanish Symposium on Fuzzy Logic and Technology, May 25-27, 2016, San Sebastián, Spain.
- Keynote speaker of ESCIM’16, European Symposium on Computational Intelligence and Mathematics, Oct 5-8 2016, Sofia, Bulgaria.
- Keynote speaker of FUZZ-IEEE’15, Intl Conf on Fuzzy Systems, Aug 2-5 2015, Istanbul, Turkey.
- Area editor of Computational and Mathematical Methods
- Area editor of Fuzzy Sets and Systems
- Area editor of Intl Journal of Uncertainty and Fuzziness in Knowledge-based Systems
- Area Editor of Mathematics
- Member of the Steering Committee of the International Conference on Concept Lattices and their Applications (CLA).
- Member of the Editorial Board of the International Conference on Formal Concept Analysis (ICFCA).
- Member of the Executive Committee of the International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU).
- Programme Committee Member of ICLP’24, Intl Conf on Logic Programming, Oct 11-17, Dallas, USA
- Programme Committee Member of EPIA’24, Portuguese Conf on Artificial Intelligence, Sep 3-6, Viana do Castelo, Portugal
- Programme Committee Member of ESCIM’24, European Symposium on Computational Intelligence and Mathematics, May 12-15, Cracow, Poland
- Programme Committee Member of ICRS’24,Intnl Joint Conference on Rough Sets, May 17-20, Halifax, Canada
- Programme Committee Member of JELIA’23, European Conference on Logics in Artificial Intelligence, Sep 20-22 2023, Dresden, Germany
- Programme Committee Member of FCA4AI’23, Workshop `What can FCA do for AI?', Ago 19 2023, Macao S.A.R., China
Awards
- Measures of inconsistency, and existence of fuzzy stable models in a residuated framework, by Nicolás Madrid. Defended on June 22, 2011, Summa cum laude, and awarded Best 2011 PhD thesis by the European Society of Fuzzy Logic and Technology, EUSFLAT.
- Intl Conf on Conceptual Structures, ICCS’23, 11-13 sep 2023, Berlin. Scientific Co-Chair, together with Kai Sauerwald (FernUniversität in Hagen)
- Foundations of Computational Intelligence, FoCI’22, 4-7 dec, 2022, Singapore. Scientific Co-Chair, together with Leonardo Franco (Univ Málaga, Spain) and Chao Qian (Nanjing Univ)
- Foundations of Computational Intelligence, FoCI’21, 5-7 dec 2021, Orlando (USA). Scientific Co-Chair, together with Leonardo Franco (Univ Málaga), Pietro Oliveto (Univ Sheffield) and Chao Qian (Nanjing Univ)
Long term projects
- MANUEL: Mathematical Applications of Natural, Universal and Equilibrium Logics
- LYDIA: Linear Yoneda Diagrams for Independence Analysis
- RUBEN: Reduced Universality Based on Extended Normalization