Course summary

The information provided on this page was correct at the time of publication (November 2022). For complete and up-to-date information about this course, please visit the relevant University of Oxford course page via www.graduate.ox.ac.uk/ucas. The MSc in Advanced Computer Science at Oxford has been designed to teach a range of advanced topics to graduates of computer science and other mathematical disciplines. As in other branches of applied mathematics and engineering, improvements in the practice of programming require determined and meticulous application of methods of mathematical understanding, calculation and proof. Recognising this, this full-time, twelve-month MSc has been designed to teach the mathematical principles of specification, design and efficient implementation of both software and hardware. The MSc is designed to combine theory and practice. It teaches the advanced techniques and ideas that are being developed in application domains (such as machine learning, verification and computer security) and the rich and diverse theories that underpin them. These include models of computation and data, and mathematical analysis of programs and algorithms. The course aims:

• to provide a foundation for research into the theory and practice of programming and the design of computer-based systems;

• to present knowledge, experience, reasoning methods and design and implementation techniques that are robust and forward-looking;

• to provide the foundation for a professional career in the computing-based industries, including telecommunications, process control, business-, mission-, and safety-critical fields; and

• to enhance the skills of a professional who is already working in one of these industries.