Discrete mathematics is more than abstract theory — it’s the backbone of computer science. From logic gates to algorithms, it builds the language computers understand. Mastering it means unlocking ...

The Department has a strong faculty working in various topics in discrete mathematics, especially algorithmic aspects. The interface between Theoretical Computer Science and Discrete Mathematics has ...

Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

The Optimisation and Algorithms Group conducts research in discrete optimisation, algorithm design, and related areas of mathematics and theoretical computer science. Our work is primarily theoretical ...