Computer Science MPhil - Deduction, Rewriting, and Transformation

University of Leicester

We provide a welcoming academic environment for undergraduate and postgraduate students to study maths and computer science courses. We pride ourselves on our research, alongside extensive industry experience in a number of fields. All of this is reflected in our teaching of high-level and innovative courses.The School of Computing and Mathematical Sciences is part of the College of Science and Engineering.We are active in a broad range of scientific fields (including artificial intelligence, cloud computing, mathematical ecology, and scientific computing, among others) and provide a stimulating research environment committed to the development of high quality projects and publication at international level. To be awarded the degree of Master of Philosophy, the research student must satisfy the examiners by means of a thesis which demonstrates a satisfactory record of research, a broad knowledge and understanding of the field of study and associated research techniques, and shows that these have been successfully applied. The thesis must present evidence of a critical survey of knowledge in the discipline but does not need to make a distinct and original contribution to knowledge of their discipline or to be of publishable quality. For research students registered for the degree of MPhil and who will submit a practice-based thesis, both the critical/reflective component and the practice component of the thesis must form a coherent whole which meets the requirements for the award of the degree.

School of Computing and Mathematical Sciences