Skip to main content Skip to navigation

Theory and Foundations


The Division of Theory and Foundations (aka FoCS: Foundations of Computer Science Research Group) is a division 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.


Division News


This calendar's schedule is empty.

Main Research Areas

  • Algorithms
  • Automata, formal languages, and logic
  • Computational complexity
  • Cryptography and quantum computing
  • Discrete mathematics and combinatorics

Related Groups and affliations

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 the research (including lists of publications) can be found on the web pages of the individual members of the Division of Theory and Foundations and on DIMAP Centre web pages.

More information about our research activities and achievements can be found here.

Information about our teaching activities is available here.