Logic and Computation
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 6.0 in each component) or equivalent English test.
Months of entry
September
Course content
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.
Information for international students
Since its foundation in 1920, Swansea University has embraced opportunities to think globally. The vibrant mix of nationalities and cultures on campus greatly enriches our learning and teaching environment. We understand the type of support our international students need to help them settle into student life in a new country.
Fees and funding
Qualification, course duration and attendance options
- MRes
- part time36 months
- Campus-based learningis available for this qualification
- full time12 months
- Campus-based learningis available for this qualification
Course contact details
- Name
- Swansea University Postgraduate
- study@swansea.ac.uk
- Phone
- +44 (0)1792 295358