Writing software that works is one thing. Being able to understand and prove why and how it works is another. The programme treats the whole process of building reliable software as a fundamental concept throughout. This includes dedicated work in logic and formal methods, where you learn to test, verify and prove that your code works as intended. behaves as it should. In the age of AI-assisted coding, genuine knowledge of how and why code works is a more vital skill than ever.
You will begin by focusing on core fields including algorithms and logic, creating a shared foundation for collaboration among your classmates from mathematics, engineering, computer science and related backgrounds. Later, you can branch into specialisations and elective courses in everything from quantum computing to neuro-symbolic AI. There is also a core focus on the role of the computer scientist in society, placing ethical and social principles in the centre from day one.