Research & Development Groups:

• Grupo de Diseño y Análisis Formal de Sistemas de Software(Formal Analysis and Design of Software Systems, FADoSS)
• Grupo de lingüística computacional (Ontology and Terminology Group)
• Grupo de interacción natural basada en la lengua (NIL, Natural Interaction Based on Language)
• Grupo de optimización logística y simulación (GOLS, Simulation and Logistics Optimization Group)
• GUEIM (Grupo de interés en desarrollo de videojuegos). See  projects

Developments:

• DES. Datalog Educational System
• TOY. A Constraint Functional Logic Language with Solver Cooperation
• Bousi~Prolog
• ACIDE. A Configurable Integrated Development Environment
• Bib Manager and Word Citer: Bibliography Management and Citation Extraction
• Learning Tools and Ontologies
• PLBASIC: A BASIC interpreter written in the Prolog language
• Database and Optimization applications with GOLS for several companies and institutions:
• Repsol/YPF (España, Argentina, Chile)
• Enagás
• Cofares
• Microsoft
• Ente público RTVE
• Real Academia de la Historia
• Centro de Investigación sobre Anomalías Congénitas Hospital Carlos III
• Manos Foundation (North Virginia, USA)
• Deister Consulting S.A.

Theses:

• G. Aranda, Extensiones de bases de datos relaciones y deductivas: fundamentos teóricos e implementación. December 2015.
• S. Estévez, Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP. July 2015
• I. Castiñeiras, Improving the Solving Efficiency of TOY(FD) and its Application to Real-Life Problems. Slides. May 2014. European Doctorate Mention
• F.J. Álvarez, Construcción de recursos lingüísticos basados en ontologías con control de relaciones semánticas. October 2009