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).
People
Keith Edwards, Ekaterina Komendantskaya, Karen Petrie, Hu Xu.
Themes
Argument and Computation, Business Intelligence, Computer Vision, Graph Theory, Image Analysis in Medicine and Biology, Theory of Computing and Artificial Intelligence.