Name:	Professor D Cohen
Organisation:	Royal Holloway, Univ of London
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/L020394/1 Constraint Network Tractability: Beyond Structure and Language (P) EP/K005162/1 Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems (C) EP/F011776/1 The complexity of valued constraints (P) EP/D032636/1 Groebner Basis Techniques for Constraint Satisfaction Problems (C) EP/C525949/1 Tractability of Constraint Problems: Unification, Extension and Applicability (P) GR/S87454/01 Tractable Valued Consraints: An Algebraic Approach. (C) GR/R81213/01 Tractable Valued Constraints:: An Initial Study (P) GR/M66110/01 UK CONSTRAINT NETWORK: CONSNET (P) GR/M12926/01 THE ALGEBRAIC STRUCTURE OF COMLEXITY CLASSES (C) GR/L06317/01 IMPROVED MODELLING AND SOLUTION TECHNIQUES FOR THE FREQUENCY ASSIGNMENT PROBLEM (P) GR/L09936/01 TRACTABILITY IN CONSTRAINT SATISFACTION PROBLEMS WITH APPLICATIONS TO FREQUENCY ASSIGNMENT (C) GR/J59227/01 IED1/4/1477 VERIFICATION TECHNIQUES FOR LOTOS SPECIFICATIONS (C) GR/F35364/01 IED1/4 1477 VERIFICATION TECHNIQUES FOR LOTOS SPECIFICATIONS (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator