Current work

Teaching:
  • Computational Logic, Degree in Computer Science.
  • Intelligent Management of Information, Degree in Computer Science.
Main Researcher of the following Projects (last 3 years):
  • VALID: Verifiable Algebraic and Logic tools for Imperfect Data
    Ministerio de Ciencia e Innovación, proyecto PID2022-140630NB-I00 (until Aug 31, 2026)
  • HyperXAI: Hypercomplex Explainable AI (Mathematical Foundations for Trustworthy Models)
    Horizon Europe Grant: Marie Sklodowska Curie Action Staff Exchange Programme (Grant Agreement Phase)
Researcher of the following Projects (last 3 years):
  • GIMAC: Applied Mathematics in Computing. Plan Andaluz de Investigación, project TIC-115
Keynote/Plenary talks
  • 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.
Membership in Editorial Boards of journals and Programme Committees of conferences (last 12 months)
  • Programme Committee Member of ICLP’25, Intl Conf on Logic Programming, Sep 12-19, Cosenza, Italy
  • Programme Committee Member of ESCIM’25, European Symposium on Computational Intelligence and Mathematics, May 18-21, La Coruña, Spain
  • Programme Committee Member of FUZZ-IEEE'25, IEEE Intl Conf on Fuzzy Systems, Jul 6-9, Reims, France
  • Programme Committee Member of EUSFLAT'25, Conf of the European Society of Fuzzy Logic and Technology, Jul 21-25, Riga, Latvia
  • Programme Committee Member of JELIA'25, European Conference on Logics in Artificial Intelligence, 1-5 September, Kutaisi, Georgia
  • 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.
Organizing International Conferences (last 36 months)

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
Hobbies