My research mainly concerns the formal modelling and analysis of agent-based models of complex collective systems. On one hand, this entails the development of formally defined high-level languages to concisely describe the features of individual agents; on the other hand, it requires applying and improving state-of-the-art verification techniques to check the collective behaviour of the resulting system.Keywords associated with my interests include: (Modelling): Agent-based modelling, Attribute-based communication, Collective adaptive systems, Domain-specific languages, Multi-agent systems, Process algebras, Stigmergic interaction, Structural operational semantics, Temporal logics; (Analysis): Bounded model checking, Explicit-state and symbolic model checking, Software verification, Static analysis.