Theory of Computation
The Theory of Computation group focuses on research into the three main areas:
Graph Theory and Algorithms (studies the fundamental properties of the underlying structures, with all unnecessary detail removed),
Computational Logic (a subject that applies methods from Formal Logic and Proof Theory to various fields in Computer Science and beyond),
Constraint Satisfaction Problems (a multidisciplinary technology combining computer science, operational research and mathematics).