Uncover the latest and most impactful research in Discrete Mathematics in Computer Science. Explore pioneering discoveries, insightful ideas and new methods from leading researchers in the field.

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 ...

Optimisation algorithms form the backbone of modern engineering design, enabling automated search for optimal configurations under complex physical, structural and performance constraints. Broadly ...