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

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

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.

Other courses at Swansea University

There are 600 other courses listed from Swansea University. A selection of these are displayed below:

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