EPSRC logo
Researcher Details
 
Name: Professor IA Stewart
Organisation: Durham, University of
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/R005613/1 ALGOUK - A Network for Algorithms and Complexity in the UK(P)
EP/K025090/1 Detecting Induced Graph Patterns(C)
EP/K015680/1 Interconnection Networks: Practice unites with Theory (INPUT)(P)
EP/G020604/1 Quantified Constraints and Generalisations(P)
EP/G010587/1 Tolerating faults in interconnection networks for parallel computing(P)
EP/P504686/1 DTA - Durham University(C)
EP/D056853/1 Finite and Algorithmic Model Theory(P)
GR/M86347/01 THE USE OF NORMAL FORMS FOR SOLVING WORD PROBLEMS(C)
GR/M91006/01 LOGIC ALGEBRA AND COMPLEXITY(P)
GR/M12933/01 THE ALGEBRAIC STRUCTURE OF COMPLEXITY CLASSES(P)
GR/L37175/01 THE COMPLEXITY OF PROBLEMS IN INFINITE GROUPS(C)
GR/L92549/01 PROGRAM SCHEMES AND FINITE MODEL THEORY(P)
GR/K96564/01 COMPLEXITY THEORY FROM LOGIC.(P)
GR/H81108/01 DESCRIPTIVE COMPLEXITY THEORY(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator