For more information about Logic and Computation at Swansea University, please visit the webpage using the button above.
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).
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.
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:
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.
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.
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 email@example.com
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).
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.
There are 600 other courses listed from Swansea University. A selection of these are displayed below: