Current work

  • Computational Logic, Degree in Computer Science.
  • Intelligent Management of Information, Degree in Computer Science.
Main Researcher of the following Projects (last 3 years):
Researcher of the following Projects (last 3 years):
  • 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/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’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

  • 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