Logic and Computation, MRes

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. Why Computer Science at Swansea? Top 201-250 in the world (THE World University Rankings 2025) Top 198 in the World for Computer Science and Information Systems (QS World University Rankings 2024) 100% world-leading and internationally excellent ratings for research impact - Research Excellence Framework (REF) 2021 90% of our research is world-leading and internationally excellent - Research Excellence Framework (REF) 2021 Top 150 (Shanghai Rankings (Academic Rankings of World Universities) - Subject Rankings 2025)

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.

International students: £22,500 per year

UK students: £5,238 per year

UK/Home: £5,238 per year

International: £22,500 per year

Sep 2026

Rolling admissions – apply as early as possible

• Bay Campus, United Kingdom