Investigación/Research

RESEARCH LINES:

DECLARATIVE PROGRAMMING >> Paradigm Integration >> Functional Logic Programming >> Fuzzy Logic Programming

PROGRAM TRANSFORMATION >> Specialization/Partial-Evaluation   >>  Optimization/Fold-Unfold >>  Unfolding, Thresholding and Tabulation

SOFTWARE TOOLS >> Fuzzy LOgic Programming Environment for Research FLOPER  >> Fuzzy extensions of XPath/XQuery >>  Fuzzy Scheduling and Fuzzy Admission Control Techniques in Cloud Computing                                                                                                                               

Mis  principales temas de investigación están relacionados con la programación declarativa, especialmente con la integración de los paradigmas funcional, lógico y difuso y la transformación automática de programas declarativos. En el marco de estas líneas  de innovación y desarrollo, hemos  diseñado el entorno  FLOPER  orientado a la manipulación de programas lógico difusos, con el que se ha implementado la aplicación FuzzyXPath para la gestión flexible de documentos XML recuperados de internet. Actualmente y  en estrecho contacto con nuestro colaborador industrial "Sematic Systems"  (de reconocido prestigio a nivel nacional e internacional, y cuya  plataforma de desarrollo software ya incorpora entre sus componentes módulos provenientes de FLOPER)  estamos integrando sobre nuestra herramienta técnicas de optimización de programas basadas en transformaciones de plegado/desplegado, como las diseñadas inicialmente en nuestro entorno Synth, un potente sistema de transformación de programas lógico-funcionales escritos en el lenguaje Curry.