The Division of Theory and Foundations (aka FoCS: Foundations of Computer Science Research Group) is one of the divisions in the Department of Computer Science at the University of Warwick, one of the leading Computer Science departments in the United Kingdom.
Research in FoCS is concerned with various topics of Theoretical Computer Science such as Design and Analysis of Algorithms, Complexity Theory, Logic, Automata and Formal Verification. Our research aims at providing understanding of fundamental problems arising in Computer Science and to design mathematical tools and better algorithms to solve these problems. Our key research areas include:
- algorithmic aspects of game theory and economics,
- approximation algorithms,
- automata and formal languages,
- computational complexity,
- cryptography and quantum computing,
- discrete mathematics, combinatorics, and their applications,
- graph and network algorithms,
- logic and games,
- online and dynamic algorithms,
- parallel and distributed algorithms,
- parameterized complexity and structural graph theory,
- random structures and randomized algorithms,
- sublinear and streaming algorithms,
- string algorithms.
We are the core group affiliated with the Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick.
We meet regularly at DIMAP seminars.
More information about our research activities and achievements can be found here.
Information about our teaching activities is available here.
The research group has funding available to support PhD studentships. Funding covers both academic fees and subsistence. We're interested in new, highly motivated PhD students, who can apply for funding via Warwick Computer Science Doctoral Training Centre. Deadline for the applications is March 31, 2019; the fellowships are competitive.
Prospective PhD students or other people with a research-related interest: Please feel free to browse our web pages and contact any member of our group for more information.
Information about applying to the university is here.