For more information about Logic and Computation at Swansea University, please visit the webpage using the button above.

The award
MRes

How long you will study
1 year

Domestic course fees
find out

How you will study
full-time

Course starts
find out

International course fees
find out

All study options

About Logic and Computation at Swansea University

Course Overview

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

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.


Study options for this course

  • The award How you will study How long you will study Course starts Domestic course fees International course fees
  • The awardMResHow you will studyFull-timeHow long you will study1 year
    Course starts find outDomestic course fees find outInternational course fees find out
  • The awardMResHow you will studyPart-timeHow long you will study3 years
    Course starts find outDomestic course fees find outInternational course fees find out

Notes about fees for this course

Annual tuition fees for entry in the academic year 2018/19 are as follows:

UK/EU International MRes Full-time £4,280 £17,950 MRes Part-time £2,140 £9,000

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

If your course starts in January, April or July 2018 please refer to the 2017/18 fee costs on our tuition fees page.

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.

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 international-science@swansea.ac.uk

Applicants to this programme would normally be expected to meet the minimum entry requirements indicated above. The College/School reserves the right to ask for higher academic grades and qualifications. Admissions decisions take into account not only prior academic qualifications, but also factors including the standard of the research synopsis/proposal submitted by the applicant, their performance at interview (if required), intensity of competition for limited places and relevant professional experience (where appropriate).

What students think about Swansea University

    Farhana Jaidin, Brunei (Politics)

    Swansea has a lot of tourist attractions and aside from that, the city is bustling with every entertainment you could think of, cinemas, restaurants, occasional student gatherings, you name it!

    Swansea is also within easy reach from London or Cardiff Airport, three hours and an hour respectively, so it is effortless if students want to travel for a mini weekend break.

    People in Swansea live in a close community so you don’t feel left out. You are so much in a part of the family as everyone else is. The student societies are very active in Swansea University and there are a lot of choices to choose from.

    Abir Abdul-Rahim, Malaysia

    Where are you from?
    Shah Alam, Malaysia

    Where did you study (which institution or school) before coming to Swansea?
    Tunku Abdul Rahman College, Kuala Lumpur for A Levels.
    Tunku Kurshiah College, Negeri Sembilan for high school.

    Why choose Swansea University?
    Low cost living and student life here is said to be good. Making it a conducive environment to study.

    What course are you doing?
    BSc Actuarial Science

    What do you do in your free time?
    I am involved with student body organisation based in London called UKEC (United Kingdom and Eire Council). It's a representative of all Malaysian Societies in the UK and Eire. Am currently the National Treasurer of it.

    What has been the highlight of your time in Swansea?
    Being part of the societies and organized student events for our fellow students here. It has helped me to mingle well with the other nationalities.

Ask a question

Ask Swansea University for more information by completing this form

Desired Start Year

Your question will be sent directly to Swansea University. Your question is subject to the StudyLink terms and conditions. On submitting this form you are consenting to us sharing the information you have supplied with Swansea University inline with the StudyLink privacy policy.

Location of Swansea University

Swansea University main campus is shown on the map below:

Explore Swansea University

Click the following videos and images to expand or play