Queen's (EPSRC) Impact Award: 2011
Reasoning with Uncertainty and Inconsistency in Structured Scientific Knowledge (EPSRC, 2007-2010)
Approaches to Merging/Revising Prioritized knowledge and their Applications to Multiple Viewpoints based Requirements Engineering (Royal Society and Chinese Academy of Sciences, 2009-2011)
CSIT: Centre for Secure Information Technologies (EPSRC, 2009-2014).
CSIT: Centre for Secure Information Technologies (EPSRC 2010-2014).
Integrating Uncertainty Into Ontology Mapping (QUB, 2006-2009)
Web/Grid Services Discovery and Composition (China and QUB, 2005-2008)
Modelling and Managing Inconsistent Software Requirements (2006-2008)
Fusion of inconsistent and uncertain information using Possibilistic Logic (2004-2006)
Query processing among multiple, heterogeneous, and distributed databases over the Internet (2000-2005)
Heuristic knowledge representation and evidence combination parallelization (1996-2001)
EUNITE: EUropean Network of Excellent on Intelligent TEchnologies for Smart Adaptive Systems (2001-2004)
Jigsaw: collaborative project with Nortel Networks (1999-2002)
EIC: Extending Incidence Calculus (October 1991 - 1998)
Concurrent network emulation (1995-1999)
BNIDB: Learning Bayesian networks from Data: an information theory based approach (1995-1998)