Research
Computational complexty in argumentation
Computational models of argumentation; negotiation and coalition structures in multiagent systems.
Research grants
Generalised DNA computation with viable resources.
BIOTECHNOLOGY & BIOLOGICAL SCIENCE RESEARCH COUNCIL
October 1999 - March 2002
Algorithmics for Agent Design and Verification.
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
April 2002 - March 2005