MRes Logic and Computation
The Department of Computer Science is among the top computer science departments in the UK and is currently receiving investment to further strengthen its position. It was rated 5 in the 2001 Research Assessment Exercise and is regularly ranked high in independent league tables.
Logic is about what we can express, compute and reason. In the twentieth century, formal logic developed into one of the great intellectual disciplines, having a profound influence in philosophy, linguistics, mathematics, computer science, and electronics. In computing, throughout the century, logic has been the primary source of ideas and techniques for the theoretical and practical development of programming.
Today, as the scope of programming technology expands, and the horizon of users’ applications widens, research in logic and its applications in software and hardware development is booming.
This scheme will educate students in advanced techniques in logic and their applications in research problems in computer science. Students will receive an elite education of direct relevance to research and development problems in contemporary Information and Communication Technology (ICT).
The Department of Computer Science at Swansea University has an established and excellent reputation for its contributions to theoretical computer science. Currently, it has great strength in logic and its applications to software technology. It is among the best places in the UK for students to receive an education in Logic and Computation.
All students will be 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 they will be required to study various advanced topics in logic and computation, and research methodology appropriate to their own individual project. In addition they will have the opportunity to attend a number of taught modules which include:
Critical Systems; Logic and Semantics; Fundamentals of Programming Languages; Functional Programming and Interactive Theorem Proving; Constraint Satisfaction Problems and Applications; Algebraic Specification of Software and Hardware; Artificial Intelligence; and Design Patterns and Generic Programming.
International Student Requirements:
Equivalent overseas qualifications may be considered.