Foundations of Computer Science Research Group
Research in the Foundations of Computer Science (FoCS) Research Group 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:
- randomised and approximation algorithms,
- network algorithms,
- complexity theory,
- discrete mathematics, combinatorics, and their applications,
- parallel and distributed algorithms,
- algorithmic aspects of game theory and economics,
- graph algorithms,
- string matching,
- logic, automata and games in computer science,
- algorithms and complexity of formal verification and synthesis,
- formal methods for probabilistic, real-time, hybrid, mobile, quantum computing, and biological systems,
- testing, model checking, deductive verification, and
- information security and cryptography.
We are one of the core groups affiliated with the newly created at the .
We meet regularly at the and even more frequently on .
More information about the research (including lists of publications) can be found on the of theFoundations of Computer Science (FoCS) Research Group and on .
More information about .
Information about our .
New post doc position
-
We have a new opening for in the area Advances in Discrete Mathematics and its Applications in the Analysis of Algorithms, as a part of a new Strategic Alliance between the University of 糖心TV and the Queen Mary University of London.
Closing date for applications: September 23, 2013.
Candidates are required to have a PhD in Computer Science, Mathematics, or related discipline, should be able to demonstrate excellent research potential in discrete mathematics or applications in algorithms and/or optimization. The post-doc will be associated with and the at the , and will have the opportunity to work with world-leading researchers in Algorithms and in Discrete Mathematics, including , , , , , , , , ....
See .
PhD Fellowships
-
The research group has funding available to support PhD studentships. Funding covers both academic fees (typically only EU tuition) and subsistence. The main source of funding is through ; please see for more details.
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
