高级计算机科学 MSc Advanced Computer Science

The MSc in Advanced Computer Science is a full-time, twelve-month taught course covering advanced topics including machine learning, computer security, quantum information, and formal verification, combining theory and practice with a strong mathematical foundation. The course teaches the mathematical principles of specification, design and efficient implementation of computing technologies, and covers advanced techniques and ideas in domains such as machine learning, verification and computer security. Students develop both theoretical understanding and practical implementation skills, preparing them for cutting-edge roles in industry or further research. The course is offered by the Department of Computer Science and accepts approximately 70 students per year.