Skip to main content Swansea University
  • Jobs
  • Accessibility Tools
  • Current Students
  • Staff
  • 中文
  • Cymraeg
Menu Swansea University
  • Jobs
  • Accessibility Tools
  • Current Students
  • Staff
  • 中文
  • Cymraeg
  1. Home
  2. Postgraduate
  3. Postgraduate Research Programmes
  4. College of Science Postgrad Research Courses
  5. Computer Science
  6. Logic and Computation, MRes
  • Study
    • Virtual Open Days
      Student sat at a laptop wearing headphones

      Join our next Postgraduate or Undergraduate Open Day

      Book now
    • Undergraduate
      • Courses
      • Accommodation
      • Open Days
      • How to Apply
      • Scholarships and Bursaries
      • Parents and Guardians
      • Make an Undergrad Enquiry
      • Clearing at Swansea
    • Postgraduate
      • Taught Courses
      • Research Programmes
      • Open Days
      • How to Apply
      • Scholarships and Bursaries
      • Your University
      • Make a Postgrad Enquiry
    • International Students
      • Courses
      • How to Apply
      • Scholarships and Bursaries
      • Your Country Information
      • Support for International Students
      • Study Abroad & Exchange
      • English Language Training
      • International Pathways
      • Ask Us a Question
    • Student Life
      • Study
      • Why Swansea
      • Life on Campus
      • Sport
      • Sustainability - Get Involved
      • Arts and Culture
      • Swansea University Students' Union
      • Virtual tours
      • What is Freshers?
    • Student Services
      • Library
      • CampusLife
      • Swansea Employability Academy
      • Student Enterprise
      • Centre for Academic Success
      • Welsh on Campus
      • Student Wellbeing
  • International
  • Our Research
  • Business
  • Alumni
  • Your University
    • Press Office
      Female student working with steel

      Latest news and research

      Press Office
    • Your University
      • About us
      • How to Find Us
      • University Awards and Rankings
      • Centenary 2020
      • Press Office
      • Jobs and Working At Swansea
      • Sustainability
      • Travel to and from Campus
      • Contact Us
    • Sport
      • Facilities
      • Health and Fitness
      • Performance
      • Student Sport - Sport Swansea
      • Sport Swansea Programmes and Events
    • Life on Campus
      • Accommodation
      • Where to Eat on Campus
      • Arts and Culture
      • The Great Hall
      • Taliesin
      • Taliesin Create
      • Egypt Centre
      • Our Grounds
      • Musical Opportunities
      • Virtual Tour
    • Academic Colleges
      • Arts and Humanities
      • College of Engineering
      • Human and Health Sciences
      • Hillary Rodham Clinton School of Law
      • School of Management
      • Medical School
      • College of Science
      • The College
    • Academies
      • Health and Wellbeing Academy
      • Morgan Advanced Studies Institute (MASI)
      • Swansea Employability Academy
      • Academi Hywel Teifi
      • Swansea Academy of Inclusivity and Learner Success (SAILS)
      • SALT
  • News and Events
  • Support & Wellbeing
  1. Home
  2. Postgraduate
  3. Postgraduate Research Programmes
  4. College of Science Postgrad Research Courses
  5. Computer Science
  6. Logic and Computation, MRes

Logic and Computation, MRes

Related pages
  • Postgraduate scholarships and bursaries
  • An introduction to postgraduate study
  • Postgraduate Taught Courses
  • Contact the Postgrad Admissions team
  • Current Students
  • How to apply for your postgraduate course
  • Postgraduate Research Programmes
    • How to apply for your Postgraduate Research programme
    • College of Arts and Humanities Postgrad Research Courses
    • College of Engineering Postgrad Research Courses
    • College of Human and Health Sciences Postgraduate Research Courses
    • Hillary Rodham Clinton School of Law Postgrad Research Courses
    • College of Science Postgrad Research Courses
      • Maths
      • Computer Science
        • Research in Human Computer Interaction, MSc
        • Research in Theoretical Computer Science, MSc
        • Research in Visual and Interactive Computing, MSc
        • Computing and Future Interaction Technologies, MRes
        • Visual Computing, MRes
        • Logic and Computation, MRes
        • Computer Science, PhD/MPhil/MSc by Research
      • Geography
      • Physics
      • Biosciences
      • Chemistry
    • Medicine Postgraduate Research Courses
    • School of Management Postgraduate Research Courses
    • Postgraduate Research Programmes coming soon!
  • Postgraduate Fees and Funding
  • Postgraduate Open Days
  • Apply Online
  • Postgraduate Careers and Employability
  • Accommodation
  • Why study at Swansea
  • Academi Hywel Teifi
  • Student life
  • Student Services
  • Information for parents and advisors
  • Enrolment, Arrivals and Welcome
  • Postgraduate Enquiry
  • Postgraduate programme changes
  • Meet our postgraduate students
  • Postgraduate Prospectus
Apply
Open Day
Keep In Touch

Develop your skills and knowledge of advanced techniques in logic

Key Course Details

  • UK
  • EU
  • International
MRes 1 Year Full Time
Location
Bay Campus
Start Date Tuition Fees - Year 1
Oct 2021 £ 4,500
MRes 3 Year Part Time
Location
Bay Campus
Start Date Tuition Fees - Year 1
Oct 2021 £ 2,250
MRes 1 Year Full Time
Location
Bay Campus
Start Date Tuition Fees - Year 1
Oct 2021 £ 19,600
MRes 3 Year Part Time
Location
Bay Campus
Start Date Tuition Fees - Year 1
Oct 2021 £ 9,800
MRes 1 Year Full Time
Location
Bay Campus
Start Date Tuition Fees - Year 1
Oct 2021 £ 19,600
MRes 3 Year Part Time
Location
Bay Campus
Start Date Tuition Fees - Year 1
Oct 2021 £ 9,800

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.

Programme Disclaimer

Postgraduate Prospectus

Discover your University

Take a Virtual Tour

virtual tour

Welsh Medium Study

welsh medium

Entry Requirements

Qualifications

Applicants for Master of Research must normally hold an undergraduate degree at 2.1 level (or Non-UK equivalent as defined by Swansea University). See - Country-specific Information for European Applicants 2019 and Country-specific Information for International Applicants 2019.

English Language
IELTS 6.5 Overall (with no individual component below 6.0) or Swansea University recognised equivalent. Full details of our English Language policy, including certificate time validity, can be found here.

As well as academic qualifications, Admissions decisions may be based on other factors, including (but not limited to): the standard of the research synopsis/proposal, performance at interview, intensity of competition for limited places, and relevant professional experience.

Academic Technology Approval Scheme (ATAS) Requirement

Non UK/EU applicants are required to obtain ATAS clearance for this programme of study. Successful applicants are sent ATAS application details by the University PGR Admissions team. Further details on the ATAS scheme can be found at on the government Academic Technology Approval Scheme webpage.

Reference Requirement

As standard, two references are required before we can progress applications to the College/School research programme Admissions Tutor for consideration.

Applications received without two references attached are placed on hold, pending receipt of the outstanding reference(s). Please note that any protracted delay in receiving the outstanding reference(s) may result in the need to defer your application to a later potential start point/entry month, than what you initially listed as your preferred start option.

You may wish to consider contacting your referee(s) to assist in the process of obtaining the outstanding reference(s) or alternatively, hold submission of application until references are sourced. Please note that it is not the responsibility of the University Admissions Office to obtain missing reference(s) after our initial email is sent to your nominated referee(s), requesting a reference(s) on your behalf.

The reference can take the form of a letter on official headed paper, or via the University’s standard reference form. Click this link to download the university reference form.

Alternatively, referees can email a reference from their employment email account, please note that references received via private email accounts, (i.e. Hotmail, Yahoo, Gmail) cannot be accepted.

References can be submitted to pgradmissions@swansea.ac.uk.

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 theory lab, a cybersecurity/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

There are opportunities for Welsh speakers to study through the medium of Welsh and our dedicated academy for Welsh-medium study, 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.

To see further details about the level of provision delivered in Welsh on this particular degree scheme, please see the Welsh-language course page for further information.

Since 2011, there has been a 113% 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 with regard to employability (*Swansea University TEF return 2017 and 2018).

Tuition Fees

MRes 1 Year Full Time

Start Date UK EU International
October 2020 £ 4,407 £ 4,407 £ 19,050
October 2021 £ 4,500 £ 19,600 £ 19,600

MRes 3 Year Part Time

Start Date UK EU International
October 2020 £ 2,203.50 £ 2,203.50 £ 9,550
October 2021 £ 2,250 £ 9,800 £ 9,800

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.

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 may be possible for some students to study part-time under the Student Visa route. However, 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 (e.g. Tier 1 or 2, PBS Dependant, ILR etc.). 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.

EU Transitional Bursary available for September 2021.

Funding and Scholarships

You may be eligible for funding to help support your study.

Government funding is now available for Welsh, English and EU students starting eligible postgraduate research programmes at Swansea University. To find out more, please visit our postgraduate loans page.

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.

Additional Costs

Access to your own digital device/the appropriate IT kit will be essential during your time studying at Swansea University. Access to wifi in your accommodation will also be essential to allow you to fully engage with your programme. See our dedicated webpages for further guidance on suitable devices to purchase, and for a full guide on getting your device set up.

You may face additional costs while at university, including (but not limited to):

  • Travel to and from campus
  • Printing, photocopying, binding, stationery and equipment costs (e.g. USB sticks)
  • Purchase of books or texts
  • Gowns for graduation ceremonies

How to Apply

Before applying, please identify a research topic or area by consulting our list of current research areas.

Once you have identified a research topic or an area, please complete a Research Proposal Form which can be downloaded, and discuss this with the Admissions Tutor, Dr Arno Pauly

Home applicants: you can then submit your application online. 

EU and Overseas applicants: you can then submit your application online.

Suggested Application Timings

In order to allow sufficient time for consideration of your application by an academic, for potential offer conditions to be met and travel / relocation, we recommend that applications are made before the dates outlined below. Please note that applications can still be submitted outside of the suggested dates below but there is the potential that your application/potential offer may need to be moved to the next appropriate intake window.

October Enrolment

UK Applicants – 15th August

EU/International applicants – 15th July

EU students - visa and immigration information is available and will be regularly updated on our information for EU students page.

  • Postgraduate scholarships and bursaries
  • An introduction to postgraduate study
  • Postgraduate Taught Courses
  • Contact the Postgrad Admissions team
  • Current Students
  • How to apply for your postgraduate course
  • Postgraduate Research Programmes
    • How to apply for your Postgraduate Research programme
    • College of Arts and Humanities Postgrad Research Courses
    • College of Engineering Postgrad Research Courses
    • College of Human and Health Sciences Postgraduate Research Courses
    • Hillary Rodham Clinton School of Law Postgrad Research Courses
    • College of Science Postgrad Research Courses
      • Maths
      • Computer Science
        • Research in Human Computer Interaction, MSc
        • Research in Theoretical Computer Science, MSc
        • Research in Visual and Interactive Computing, MSc
        • Computing and Future Interaction Technologies, MRes
        • Visual Computing, MRes
        • Logic and Computation, MRes
        • Computer Science, PhD/MPhil/MSc by Research
      • Geography
      • Physics
      • Biosciences
      • Chemistry
    • Medicine Postgraduate Research Courses
    • School of Management Postgraduate Research Courses
    • Postgraduate Research Programmes coming soon!
  • Postgraduate Fees and Funding
  • Postgraduate Open Days
  • Apply Online
  • Postgraduate Careers and Employability
  • Accommodation
  • Why study at Swansea
  • Academi Hywel Teifi
  • Student life
  • Student Services
  • Information for parents and advisors
  • Enrolment, Arrivals and Welcome
  • Postgraduate Enquiry
  • Postgraduate programme changes
  • Meet our postgraduate students
  • Postgraduate Prospectus
Apply Open Day Ask us a Question
  • Contact Us
  • Jobs
  • Colleges
  • Press
  • Health & Safety
  • Disclaimer & Copyright
  • Site Map
  • Privacy & Cookies
  • Modern Slavery Statement
  • Accessibility Statement
  • Swansea University is a registered charity, No. 1138342