• FindA University Ltd Featured Masters Courses
  • Xi’an Jiaotong-Liverpool University Featured Masters Courses
  • Swansea University Featured Masters Courses
  • University of Leeds Featured Masters Courses
  • Jacobs University Featured Masters Courses
  • University of Edinburgh Featured Masters Courses
  • University of Cambridge Featured Masters Courses
  • Ulster University Featured Masters Courses
King’s College London Featured Masters Courses
Queen Mary University of London Featured Masters Courses
University of Manchester Featured Masters Courses
Kingston University Featured Masters Courses
Goldsmiths, University of London Featured Masters Courses

Logic and Computation MRes

Course Description

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.

The MRes Logic and Computation course will teach you about advanced techniques in logic and their applications in research problems in computer science. You will receive an elite education of direct relevance to research and development problems in contemporary information and communication technology (ICT).

Key Features

Teaching score of Excellent.

Highest percentage of top-class researchers of any Computer Science department in Wales – and only 12 in the UK have higher.

70% of the research activity assessed as world-leading or internationally excellent.

Our industrial programme IT Wales which can arrange vacation employment placements.

A state-of-the-art education.

Friendly staff, committed to the highest standards.

A university with high success rate, low drop-out rate, and excellent student support.

Swansea's Library spends more per student on books and other resources than any other university in Wales, and most in the UK.

Course Content

Research Component

The main part of the MRes in Logic and Computation is a substantial and challenging project involving cutting edge research. The completion of such a project will give you the ability and confidence to pursue a successful career in industrial research and development, or to proceed to academic PhD studies.

Taught Component

In seminars and reading courses you will enter the world of research by studying general topics in theoretical computer science as well as special topics for your research project. Guided by your supervisor you will conquer new technical subjects and learn to critically assess current research.
Lecturers and students will meet regularly to discuss recent developments and give informal talks. Topics of the seminars are chosen in accordance with the research projects, and will cover material such as:

Theorem proving techniques
Formal program verification
Algebraic and coalgebraic specification
Modelling of distributed systems
Advanced methods in complexity theory
Additionally you will choose selected taught modules covering important topics such as Critical Systems, IT Security, Concepts of Programming
Languages, Artificial Intelligence Applications, Design Patterns and Generic Programming.


The Department is well equipped for teaching, and is continually upgrading its laboratories to ensure equipment is up-to-date – equipment is never more than three years old, and rarely more than two. Currently, students use three fully networked laboratories: one, running Windows; another running Linux; and a project laboratory, containing specialised equipment. These laboratories support a wide range of software, including the programming languages Java, C# and the .net framework, C, C++, Haskell and Prolog among many; integrated programme development environments such as Visual Studio and Netbeans; the widely-used Microsoft Office package; web access tools; and many special purpose software tools including graphical rendering and image manipulation tools; expert system production tools; concurrent system modelling tools; World Wide Web authoring tools; and databases.


All Computer Science courses will provide you the transferable skills and knowledge to help you take advantage of the excellent employment and career development prospects in an ever growing and changing computing and ICT industry.

90% of Swansea’s Computer Science graduates are in full-time employment or further study within six months of graduating (HESA June 2011).

Some example job titles from the HESA survey 2011:

Software Engineer: Motorola Solutions

Change Coordinator: Logica

Software Developer/Engineer: NS Technology

Workflow Developer: Irwin Mitchell

IT Developer: Crimsan Consultants

Consultant: Crimsan Consultants

Programmer: Evil Twin Artworks

Web Developer & Web Support: VSI Thinking

Software Developer: Wireless Innovations

Associate Business Application Analyst: CDC Software

Software Developer: OpenBet Technologies

Technical Support Consultant: Alterian

Programming: Rock It

Software Developer: BMJ Group


The results of the Research Excellence Framework (REF) 2014 show that Swansea Computer Science ranked 11th in the UK for percentage of world-leading research, and 1st in Wales for research excellence. 40% of our submitted research assessed as world-leading quality (4*).

Visit the Logic and Computation MRes page on the Swansea University website for more details!

All Available Videos:

Student Profiles

Entry Requirements

The entry requirements for the Logic and Computation MRes is a 2:1 honours degree (or above) in Computer Science, Mathematics or a closely related discipline. English language requirement IELTS 6.5 (with a minimum of 5.5 in each component) or Swansea University recognised equivalent.

Email Enquiry

Recipient: Swansea University
Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.
Email Sent

Share this page:

Cookie Policy    X