On this page
Research areas: Intelligent agents and multi-agent systems, Agent-based software engineering, Multi-agent interaction, dialogue and argumentation, Formal methods, Validation and automatic verification, Non-classical logics, Temporal and spatial reasoning, Decision theory, Artificial intelligence and knowledge representation, Security in multi-agent system
Ph.D. (2005) Computer Science, Laval University, Canada
© Concordia University