Mobile Middleware Research Group
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:
Artificial Intelligence Research Group
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.