Trabajo actual

Docencia:

  • Álgebra lineal, Ingeniería de la Salud.
  • Estructuras algebraicas para la computación, Ingeniería de Computadores.
  • Sistemas y Servicios basados en la Lógica, Máster Universitario de Ingeniería Informática.

Investigador Principal en los siguientes Proyectos (últimos 3 años):

  • Técnicas Computacionales Algebraicas y Difusas para la Sociedad
    Ministerio de Ciencia e Innovación, proyecto TIN15-70266-C2-P-1 (hasta 31 dic 2018)
  • Fundamentos y Extensiones de la tecnología Answer SeT
    Ministerio de Ciencia e Innovación, proyecto TIN09-14562-C05-01 (hasta 31 dic 2013)
  • Fundamentos Matemáticos del Razonamiento No Canónico
    Junta de Andalucía, Proyecto de Excelencia P09-FQM-5233 (hasta 3 feb 2014)

Investigador en los siguientes Proyectos (últimos 3 años):

  • Red de Excelencia: Lógica Difusa y Soft Computing.
    Ministerio de Economía y Competitividad, proyecto TIN14-56381-REDT (hasta 31 dic, 2016)

  • FOREST: Razonamiento Formal para Problemas de Sostenibilidad.
    Ministerio de Ciencia e Innovación, proyecto TIN12-39353-C04-01 (hasta 31 dic 2015)

  • GIMAC: Matemática Aplicada en Computación. Plan Andaluz de Investigación, proyecto TIC-115

Conferencias plenarias por invitación (últimos 12 meses)

  • 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’15, European Symposium on Computational Intelligence and Mathematics, 7-10 octubre 2015, Cádiz.
  • Ponente invitado en FUZZ-IEEE’15, Intl Conf on Fuzzy Systems, 2-5 agosto 2015, Estambul.

Participación en comités científicos de revistas y congresos (últimos 12 meses)

  • Miembro del Comité Científico de LQMR'15 Workshop on Logics for Qualitative Modelling and Reasoning, Lodz, Poland, 13-16 September, 2015
  • Miembro del Comité Científico de ICMMI’15 Intl Conf on Man-Machine Interactions, The Beskids, Poland, October 6-9, 2015
  • Miembro del Comité Científico de CAEPIA’15 Conf de la Asociación Española para la Inteligencia Artificial, Albacete, Nov 9-12, 2015
  • Miembro del Comité Científico de GCAI’15 Global Conference on Artificial Intelligence, Tbilisi, Georgia, Oct 16-19, 2015
  • Miembro del Comité Científico de ESTYLF’16, Cong Español de Lógica y Tecnología Difusa, 25-27 mayo, 2016, San Sebastián.
  • Miembro del Comité Científico de ATA’16 Analysis, Topology, Algebra: Theory and Applications, Čačak, Serbia, Jul 6-9, 2016
  • Miembro del Comité Científico de IJCAI’16, Intl Joint Conference on Artificial Intelligence, Jul 9-15, 2016, New York, USA.
  • Miembro del Comité Científico de FUZZ-IEEE’16, Intl Conf on Fuzzy Systems, 25-29 julio 2016, Vancouver, Canadá
  • Miembro del Comité Científico de STAIRS’16, European STarting AI Researcher Symposium, 26 ago-2 sep 2016, La Haya, Holanda
  • Miembro del Comité Científico de AIMSA’16, Intl Conf on Artificial Intelligence: Methodology, Systems, Applications , Sep 7-9, 2016, Varna, Bulgaria
  • Miembro del Comité Científico de GCAI’16 Global Conference on Artificial Intelligence, Berlin, Alemania, Sep 29-Oct 2, 2016
  • Miembro del Comité Científico de JELIA’16, European Conference on Logics in Artificial Intelligence, 9-11 nov, 2016, Larnaca, Chipre
  • Miembro del Comité Científico de CoDIT’17, Intl Conf on Control, Decision and Information Technologies, 5-7 abril 2017, Barcelona

Dirección de Tesis Doctoral

  • 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.

Organización de Congresos Internacionales (últimos 12 meses)

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

Hobbies