Research Interests


    Intelligent agents and multi-agent systems

    Agent-based software engineering

    Multi-agent interaction, dialogue and argumentation

    Formal methods

    Validation and automatic verification (Model Checking)

    Non-classical logics (Temporal logic, Spatial logic, Dynamic logic, Epistemic logic, etc.)

    Temporal and spatial reasoning

    Decision theory

    Artificial intelligence and knowledge representation

    Security in multi-agent systems

    Semantic Web and semantic grid computing



There is a boundary to men's passions when they act from feelings; but none when they are under the influence of imagination.

Edmund Burke (1729-1797)