MRes Logic and Computation

  1. Course Variations
    Nomenclature Duration Mode Of Attendance
    MRes 1Yr FT
    MRes 3Yr PT
  2. Typical offer:
    UK 2:1

Course Overview

Ray traced ice - Ben Spencer PhD student

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.

Entry Requirements

A 2:1 honours degree (or above) in Computer Science, Mathematics or a closely related discipline.

IELTS 6.5 (with a minimum of 5.5 in each component) or equivalent English test.

International students:  please visit our International pages for information on entry requirements for your country:  Africa, South Asia, East Asia, Europe and Russia, Middle East, North America, South America, South East Asia.  If your country is not listed within these regions, please contact

How To Apply

For all EU/International enquiries please contact:

+44 (0)1792 295142

For UK applicants

For International applicants

Tuition Fees

Annual tuition fees for entry in the academic year 2017/18 are as follows:

UK/EU International
MRes Full-time £4,200 £16,950
MRes Part-time £2,100 £8,450

Tuition fees for years of study after your first year are subject to an increase of 3%.

You can find further information on fees and how to pay on our tuition fees page.

Note: The UK/EU fee is indicative pending confirmation from RCUK.

You may be eligible for funding to help support your study. To find out about scholarships, bursaries and other funding opportunities that are available please visit the University's scholarships and bursaries page.

International students and part-time study: If you require a Tier 4 student visa you must be studying full-time. If you are in the UK under a different visa category, it may be possible for you to study part-time. Please see our part-time study and visas page for more information.

Current students: You can find further information of your fee costs on our tuition fees page.

Additional Costs

The tuition fees do not cover the costs of purchasing books or stationery, printing, thesis binding or photocopying costs.

There are no mandatory additional costs specified for this course.

International Entry Requirements

International students:  please visit our International pages for information on entry requirements for your country:  Africa, South Asia, East Asia, Europe and Russia, Middle East, North America, South America, South East Asia.  If your country is not listed within these regions, please contact

Teaching and assessment

On the course you will be assessed by a combination of written examinations, coursework and a Dissertation.

Student profiles

“One of the main reasons I chose Swansea was because of the excellent reputation of the Computer Science Department which is ranked among the top 25 in the UK. The Lecturers in the
Department are excellent, and are equally very accessible to students. Many are actively involved in world class research. Their knowledge is shared with us in lectures.
I love Swansea. I have recently completed the MSc and intend to gain further experience in the software industry before pursuing a PhD at Swansea University. “

Manikanta Gudur - MSc in Advanced Computer Science Graduate

Read our student profiles


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

Find out more about employability


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*).


The MSc in Advanced Computer Science specialising in Software Technology is accredited by the British Computer Society, and provides exemption from their membership exams. (*Excludes Software Engineering).

Fees and Funding

The College of Science is offering scholarships for overseas students from China, India and Nigeria. To find out more visit -