Currently, I am participating to the research activities of the aliCE group (agents, languages & infrastructures in CEsena) which is co-headed by Prof. Antonio Natali and Prof. Andrea Omicini. Our research group contributes to multi-agents systems field with respect to several topics, including methdologies, metamodels, languages, logic, peer-to-peer systems, complex systems and bioinformatics.
The main objective of my research is about the engineering of software applications using the Agent paradigm and principles drawn from the Self-Organization Theory.
A system is said to be self-organising if it is able to re-organise itself upon environment changes via local interactions between its parts, without any explicit pressure from outside the system, i.e. with decentralised control. It is often the case that self-organising systems exhibit global emergent pattern, i.e. global system configuration that cannot be reduced to the behaviour of the individual components.
Self-organisation offers a compelling vision to complex systems engineer since they allow to easily encode complex patterns and provide desirable properties such as self-healing, self-configuration and generally an high degree of robustness and resilience.
While the focus in on Engineering Self-Organising Multi-Agent Systems, here a list of the topics involved in my research
- Stigmergy and Swarm Intelligence
- Emergent phenomena and global system properties
- Autonomic Computing and Amorphous Computing
- Multi-Agent Infrastructures, mainly environment issues
- Coordination and Design Patterns
- Formal methods, including Process Algebras, Markov Chains, Transition Systems, and Model-Checking
|