Former organisational unit. 1/04/13. Taken over by Centre for Algorithms and Applications


Postal address:
Department of Computer Science, Royal Holloway, University of London, Egham Hill, Egham, Surrey

The Theory of Computing group is concerned with the modelling of computing systems and application areas in order to derive principled and practically effective solution strategies. Such modelling ensures that the development of solutions is guided by a scientific and well-founded analysis, which can provide practical guidance into the scaling and extent of their applicability. The research strands include Combinatorial Optimisation and Graph Theory, Algorithms and Complexity Theory, Constraint Satisfaction, Compilers, and Logics, Languages and Reasoning.



View all »

ID: 24023