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.