The goal of this topics course is to study the foundations of different types of logics used commonly in artificial intelligence. Logic forms the basis for many types of reasoning used by humans – ...

Engage in a substantial piece of group research, culminating with the possible production of a paper, as well as a final conference-style presentation. You'll have access to the latest hardware, ...

Engage in a substantial piece of group research, culminating with the possible production of a paper, as well as a final conference-style presentation. You will have access to the latest hardware, ...

The University of Oxford offers a highly esteemed Computer Science program, ranked 4th globally by QS in 2025. This rigorous course provides a strong foundation in both theory and practice, with ...

Our Computer Science course focuses on modern approaches to software systems development, allowing you to explore both theoretical and practical skills With the digital era continuing to develop ...

Maths powers computing and computing has revolutionised modern mathematics, allowing us to solve complex problems using advanced techniques faster than ever before. Our MEng Mathematics and Computer ...