Logic and Computation, MRes

Open Day

Ask us a Question

Develop your skills and knowledge of advanced techniques in logic

Key Course Details

UK/EU
International

MRes 1 Years Full Time

- Start Date Sept 2019
- Location Bay Campus
- Tuition Fees Per Year £ 4,327

MRes 3 Years Part Time

- Start Date Sept 2019
- Location Bay Campus
- Tuition Fees Per Year £ 2,163.50

MRes 1 Years Full Time

- Mode of Study
- Start Date Sept 2019
- Typical Offer - More Information
- Location Bay Campus
- Tuition Fees Per Year £ 18,500

MRes 3 Years Part Time

- Mode of Study
- Start Date Sept 2019
- Typical Offer - More Information
- Location Bay Campus
- Tuition Fees Per Year £ 9,250

Course Overview

The MRes in Logic and Computation develops your skills and knowledge of advanced techniques in logic, and their application in computer science research problems. You receive an elite education with direct relevance to research and development problems in modern technologies. Logic is the basis for reasoning in expression and computation, with a profound influence across philosophy, linguistics, mathematics and technology. Since the invention of computers, logic has been the primary source of ideas and techniques for the theoretical and practical development of programming.

Today there is an explosive growth of research in logic and its application in software and hardware development, because it has great value to industry and innovation. Formal methods are integral to system development in specialised sectors such as automotive electronics, avionics, and chip design.

Computer Science at Swansea University is widely acknowledged as a leading UK department, with a raft of rankings reflecting teaching and research excellence. The College is ranked:

8th in the UK overall [Times/Sunday Times Good University Guide 2019]
In the UK Top 20 for Research Excellence [Research Excellence Framework 2014]
14th in the UK for research [Times and Sunday Times University Guide 2019]
UK University of the Year Runner-up and Welsh University of the Year [Times and Sunday Times University Guide 2019]

Computer Science and Engineering at Swansea is world ranked 401-500 in the 2017 Global Ranking of Academic Subjects (GRAS). We have the highest percentage of top-class researchers of any Computer Science department in Wales, and 70% of the research activity assessed is categorised as world-leading or internationally-excellent.

Discover your University

Take a Virtual Tour

Welsh Medium Study

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.

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

How you are Supervised

Your work will be supported by inspiring computer science experts such as Professor Matt Jones, widely recognised as a leader in the empowerment of rural digital communities in the UK and across the developing world.

Our brand new £32.5m Computational Foundry is likely to be central to your work. Sophisticated teaching and research equipment include a vision and biometric lab, a maker lab, a techHealth lab, a theory lab, a cyber security/networking lab, a user lab and visualisation suite.

Research Component

The core element of the MRes in Logic and Computation is a substantial project involving your own cutting edge research. Successfully completing the project gives you the credibility and confidence to pursue a career in industrial research, or proceed to academic PhD studies.

Taught Component

You will enter the world of logic research by studying general topics in theoretical computer science and specialist topics for your research project. Supported by our expert staff, you will master technical subjects and learn to critically assess current research.

You will regularly meet staff to discuss new developments and give informal talks. Seminar topics are chosen according to research projects, and typically cover material such as:

Theorem proving techniques
Formal program verification
Algebraic and coalgebraic specification
Modelling of distributed systems
Advanced methods in complexity theory

Your selected taught modules will cover topics such as critical systems, IT security, concepts of programming languages, artificial intelligence applications, design patterns and generic programming.

Welsh Provision

If you are a Welsh speaker our dedicated academy, Academi Hywel Teifi, is here to support you throughout your time at Swansea University. We offer you:

An interview through the medium of Welsh when applying for a place.
The option to receive your personal correspondence in Welsh - we will then communicate with you in your language of choice.
The option to write and submit your coursework or exams through the medium of Welsh (even if you have chosen to study in English), and every effort will be made to mark your work in its original language.
A Welsh-speaking personal tutor.
One-to-one support to improve your academic Welsh language skills.

Since 2011, there has been a 40% increase in the number of students studying through the medium of Welsh at Swansea University and our *TEF data over the last two years shows that Welsh-medium students are high achievers in regards to employability (*Swansea University TEF return 2017 and 2018).

Tuition Fees

Annual tuition fees for entry in the academic year 2019/20 are as follows:

		UK/EU	International
MRes	Full Time	£ 4,327	£ 18,500
MRes	Part Time	£ 2,163.50	£ 9,250

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

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

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

If your course starts in January, April or July 2019 please refer to the 2018/19 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: It is now possible for some students to study part-time under the Tier 4 visa route. This is dependent on factors relating to the course and your individual situation. It may also be possible to study with us if you are already in the UK under a different visa category. Please visit the University information on Visas and Immigration for further guidance and support.

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

Scholarships and Bursaries

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.

Academi Hywel Teifi at Swansea University and the Coleg Cymraeg Cenedlaethol offer a number of generous scholarships and bursaries for students who wish to study through the medium of Welsh or bilingually. For further information about the opportunities available to you, visit the Academi Hywel Teifi Scholarships and Bursaries page.