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.
Months of entry
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).
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 and course duration
Course contact details
- Department of Computer Science
- +44 (0)1792 602022