This scheme educates students in advanced techniques in logic and their applications in research problems in computer science; the main educational aims of this programme are to: provide students with a fundamental understanding of logic and its applications in computer science; the ability and experience to explore, theoretically and practically, state-of-the-art research and development problems; the ability to plan and complete a substantial research project; the ability and confidence to pursue successfully careers in industrial research, or to proceed with further research for a PhD; all students are assigned an individual supervisor and undertake in-depth research project into a topic in Logic and Computation under the supervision of an academic member of staff; in order to do this students are required to study various advanced topics in logic and computation, and research methodology appropriate to their own individual project.