Swansea University

Swansea University

Logic and Computation

Visit our website for more information on fees, scholarships, postgraduate loans and other funding options to study at Swansea University - 'Welsh University of the Year 2017' (Times and Sunday Times Good University Guide 2017). Logic is the basis for reasoning about what we can express and compute, having a profound influence in philosophy, linguistics, mathematics, computer science, and electronics. Since the invention of computers, logic has always been the primary source of ideas and techniques for the theoretical and practical development of programming. Today, as the scope of programming technologies expands, and the horizon of applications widens, research in logic and its applications in software and hardware development is booming. In industry, formal methods are an integral part of system development, e.g., in automotive electronics, avionics, and chip design. This course will teach students about 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).

Course modules

Modules may include: theorem proving techniques; formal program verification; algebraic and coalgebraic specification; modelling of distributed systems; advanced methods in complexity theory; critical systems; information technology security; concepts of programming languages, artificial intelligence applications; design patterns; generic programming.

Assessment methods

A combination of written examinations, coursework and a dissertation.


Qualification Study mode Start month Fee Course duration
Master of Research - MRes Full-time September 2017 GBP 4,195 per Year 1 (Home/EU) 1 Years
Master of Research - MRes Full-time September 2017 GBP 16,950 per Year 1 (International) 1 Years
Master of Research - MRes Part-time September 2017 GBP 8,450 per Year 1 (International) 2 Years
Master of Research - MRes Part-time September 2017 GBP 2,097 per Year 1 (Home/EU) 2 Years

Campus details

Campus name Town Postcode Region Main campus Campus Partner
Singleton Park, Swansea SA2 8PP Wales

Get in touch

Remember to mention TARGETpostgrad when contacting universities.

Key information

Department of Computer Science
Telephone number: