University of Oxford Featured Masters Courses
London School of Hygiene & Tropical Medicine Featured Masters Courses
University of Portsmouth Featured Masters Courses
Queen Margaret University, Edinburgh Featured Masters Courses
FindA University Ltd Featured Masters Courses
    College of Science Logo
  • Study Type

    Full time & Part time available

  • Subject Areas

    Computer Science

    Mathematics

  • Start Date

    September

  • Course Duration

    1 year full-time; 3 years part-time

  • Course Type

    MRes

  • Course Fees

    Please visit our website for the Logic and Computation course fee information.

  • Last Updated

    08 July 2019

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.

How you're supervised on the Logic and Computation course

Your work will be supported by inspiring computer science experts such as Professor Matt Jones, widely recognised as a leader in the empowerment of rural digital communities in the UK and across the developing world.

Our brand new £32.5m Computational Foundry is likely to be central to your work. Sophisticated teaching and research equipment include a vision and biometric lab, a maker lab, a techHealth lab, a theory lab, a cyber security/networking lab, a user lab and visualisation suite.

Research Component

The core element of the MRes in Logic and Computation is a substantial project involving your own cutting edge research. Successfully completing the project gives you the credibility and confidence to pursue a career in industrial research, or proceed to academic PhD studies.

Taught Component

You will enter the world of logic research by studying general topics in theoretical computer science and specialist topics for your research project. Supported by our expert staff, you will master technical subjects and learn to critically assess current research.

You will regularly meet staff to discuss new developments and give informal talks. Seminar topics are chosen according to research projects, and typically cover material such as:

  • Theorem proving techniques
  • Formal program verification
  • Algebraic and coalgebraic specification
  • Modelling of distributed systems
  • Advanced methods in complexity theory

Your selected taught modules will cover topics such as critical systems, IT security, concepts of programming languages, artificial intelligence applications, design patterns and generic programming.

You may also be interested in:


Visit the Logic and Computation MRes page on the Swansea University website for more details!

Loading...

Loading...

Loading...

Loading...


Enquire About This Course

Recipient: Swansea University

* required field

Please correct the errors indicated below to send your enquiry


Your enquiry has been emailed successfully