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
 
      |