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, así como con la transformación y calibrado automático de programas declarativos. En el marco de estas líneas de investigación, innovación y desarrollo, hemos diseñado el lenguaje FASILL (“Fuzzy Agregators and Similarities Into a Logic Language”) y su entorno de programación FLOPER orientado a la manipulación de programas lógico difusos, con el que se ha implementado las aplicaciones FuzzyXPath y FSA-SPARQL para la gestión flexible de documentos XML y RDF 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 calibrado y 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.
Research Lines:
- DECLARATIVE PROGRAMMING >> Paradigm Integration >> Functional Logic Programming >> Fuzzy Logic Programming
- PROGRAM TRANSFORMATION AND MANIPULATION >> Tuning Techniques >> Specialization/Partial-Evaluation >> Optimization/Fold-Unfold >> Unfolding, Thresholding and Tabulation
- SOFTWARE TOOLS >> FASILL system >> Fuzzy extension of SPARQL for flexibly querying RDF documents >> Fuzzy extensions of XPath/XQuery for flexibly querying XML documents >> Fuzzy Scheduling and Fuzzy Admission Control Techniques in Cloud Computing