Members of the Division of Theory and Foundations (FoCS) are involved in a variety of teaching and educational activities related to Algorithms, Data Structures, Complexity Theory, Discrete Mathematics, Logic, Automata and Formal Verification. Our modules bring to the students the most recent advances in the corresponding subjects. Our aim is to provide our students with an insight into the problems and challenges in theoretical foundations of Computer Science, thereby gaining the skills critical to the modern Computing.

Modules

The following list includes the modules currently taught by the members of the Division of Theory and Foundations (FoCS)

• CS136 Discrete Mathematics and its Applications 1 (this year web page)
• CS137 Discrete Mathematics and its Applications 2 (this year web page)
• CS254 Algorithmic Graph Theory (this year web page)
• CS259 Formal Languages (this year web page)
• CS260 Algorithms (this year web page)
• CS262 Logic and Verification (this year web page)
• CS301 Complexity of Algorithms (this year web page)
• CS310 Computer Science Projects (this year web page)
• CS344 Discrete Mathematics Projects (this year web page)
• CS350 Data Science Projects (this year web page)
• CS356 Approximation and Randomised Algorithms (this year web page)
• CS409 Algorithmic Game Theory (this year web page)
• CS410 Modelling and Algorithmic Analysis of Systems (not taught in this academic year)
• CS415 Decision Procedures (not taught this academic year)
• CS416 Optimisation Methods (this year website)
• CS419 Quantum Computing (this year website)
• CS910 Foundations of Data Analytics (this year web page)
• CS911 Operational Research and Optimisation (not taught this academic year)