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.
Southern Association of Colleges and Schools, Commission on Colleges