Computer Science

MRes in Logic and Computation Computer Science

Some topics of current MRes Projects:

  * Automatic Verification of train control software

  * Model checking for modal mu-calculus and parity games

  * Generalised SAT via Ramsey theory and AES


Logic is the basis for reasoning about what we can express and compute. In the Twentieth Century, formal logic developed into one of the great intellectual disciplines, 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.

This scheme will educate students in advanced techniques in logic and their applications in research problems in computer science. Students will receive an elite education of direct relevance to research and development problems in contemporary information and communication technology (ICT).

Research Component (120 credits)

The MRes in Logic and Computation has as its major part a substantial and challenging project involving cutting edge research. The completion of such a project will give students the ability and confidence to pursue successful careers in industrial research and development, or to proceed to academic PhD studies.

Taught Component (60 credits)

In seminars and reading courses students will enter the world of research by studying general topics in theoretical computer science as well as special topics for their research project. Guided by their supervisors they will conquer new technical subjects and learn to critically assess current research. Lecturers and students will meet regularly to discuss recent developments and give informal talks. These courses are compulsory:

Compulsory: Credits
Advanced Topics in Logic and Computation 10
Directed Studies 10
Research Methodology and Project Specification 20

In addition to seminars students choose from a variety of taught courses:

20 credits from: Credits
Critical Systems 10
Logic and Semantics 10
IT Security: Theory and Practice 10
Constraint Satisfaction Problems and Applications 10
Algebraic Specification of Software and Hardware 10
Interactive Theorem Proving 10
Foundations of Artificial Intelligence 10
Logic, Foundations and Computation 10
Concepts of Programming Languages 10
Artificial Intelligence Applications 10
Design Patterns and Generic Programming 10
Abstract Data Types and Program Synthesis 10


The MRes is a full-time 12 months course starting October 1st and ending with the submission of the dissertation.

Admission Criteria

The standard minimum entrance requirement is a BSc in a Computing, Mathematics, Physics or similar course at a level of 2(ii).


Prof. F G Moller (MRes/MPhil/PhD Admissions Tutor)
Prof. P D Mosses
Prof. J V Tucker (Head of Department)
Dr. A Beckmann
Dr. U Berger (Degree Scheme Coordinator)
Dr. J E Blanck
Dr. P W Grant (Deputy Head of Department)
Dr. N A Harman
Dr. O. Kullmann
Dr. M Roggenbach
Dr. M Seisenberger
Dr. A Setzer

To find out how the lecturers look like click here, to learn more about their research visit their personal web pages, or click here for an overview.

To get an impression of what it feels like to be an MRes student, have a look at some pictures (taken by Markus Roggenbach) from our Theory Away Day in Hay-on-Wye on the 2nd of November, 2007.

Logic Related Events at Swansea

Research Seminars

PCV, Proofs, Complexity and Verification, seminar series.

Algebraic Specification, seminar series.

Complexity Theory, Lent Term 2008.

MRes Seminar Advanced Studies in Logic and Computation, Michaelmas Term 2007.

Categories in Computer Science, Michaelmas Term 2006 and Lent Term 2007.


SAT 2009: 12th International Conference on Theory and Applications of Satisfiability Testing.

BLC 2009: British Logic Colloquium.

Russell'08, Proof Theory meets Type Theory, 15-16 March, 2008.

PCC 2007, Proofs Computability Complexity 2007, 13 - 14 April, 2007.

CiE 2006, Computability in Europe 2006, Logical Approaches to Computational Barriers, 30 June - 5 July, 2006.

In 2006 we celebrated the 100th birthday of Kurt Gödel, the greatest logician in the 20th century. The conference CiE 2006 had Special Sessions and Key Note Addresses honouring Gödel's legacy for Logic and Computation.

BCTCS 2006, 22nd British Colloquium for Theoretical Computer Science, 4-7 April, 2006.

Calco 2005, First Conference on Algebra and Coalgebra in Computer Science, September 3 - 6, 2005.


BCTCS, British Colloquium for Theoretical Computer Science.

BLC, British Logic Colloquium.

CCA, Computability and Complexity in Analysis.

CiE, Computability in Europe.

CoFi, The Common Framework Initiative for algebraic specification and development.

IFIP-WG1.3, Foundations of System Specification.

IFIP-WG2.2, Formal Description of Programming Concepts.

MAP, Mathematics, Algorithms, Proofs.

MATHLOGAPS, Mathematical Logic and Applications.

Types, Types for proofs and programs.

How to Apply

To apply for an MRes in Logic and Computation visit the University's postgraduate pages where more details and online application forms are available. For further enquiries please contact the Postgraduate Admissions Tutor, or the Degree Scheme Coordinator.


Prof. F G Moller (MRes/MPhil/PhD Admissions Tutor)
Department of Computer Science
University of Wales Swansea
Swansea SA2 8PP

Tel.: (+44) 1792 295160 (international) or 01792 295663 (UK)
Fax: (+44) 1792 295708 (international) or 01792 295708 (UK)

Dr. U Berger (Degree Scheme Coordinator)
Department of Computer Science
University of Wales Swansea
Swansea SA2 8PP

Tel.: (+44) 1792 513380 (international) or 01792 513380 (UK)
Fax: (+44) 1792 295708 (international) or 01792 295708 (UK)

Website: Ulrich Berger