Our main research activities are centered on the study and development of support solutions for a broad range of scenarios in the context of mobile networking and distributed services in general. By building middleware level solutions, we aim at providing some important building blocks to be used for the creation of next generation applications and services in the following main areas:

• Cloud Computing
• Mobile Computing
• Context-based Systems
• NGN & Future Internet Scenarios
• Sustainable Infrastructures for Smart Environments

Main research activities are related with the fied of Artificial Intelligence, and in particular on Computational Logic and Prolog, on Planning and Optimization, and on Constraint (Logic) Programming.
We are successfully applying declarative techniques to many resasearch and industrial application fields, such as Computational Sustainability, Embedded System Design, Multi Agent Systems, Service Oriented Architectures, Business Process Management and Process Mining, Cloud Computing, and Healthcare Careflow Systems.

Research activities in the programming language area spread over different paradigms, from logic-based to object-oriented and agent-oriented paradigms and languages, and are particularly focused on the integration and blend of different languages and paradigms in a multi-paradigm programming perspective. The research covers both the conceptual and scientific foundations, with special regard to the methodological aspects, and the corresponding infrastructures and tools, so as to support the construction of complex software systems througout their development cycle.