MRes in Logic and Computation
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 Credits)
- Directed Studies (10 Credits)
- Research Methodology and Project Specification (20 Credits)
Optional Credits
In addition to seminars students choose 20 credits from a variety of taught courses:
- Artificial Intelligence (20 Credits)
- Fundamentals of Programming Languages (20 Credits)
- Functional Programming and Interactive Theorem Proving (20 Credits)
- Constraint Satisfaction Problems and Applications (10 Credits)
- Logic and Semantics (10 Credits)
- Design Patterns and Generic Programming (10 Credits)
- Critical Systems (10 Credits)
- Algebraic Specification of Software and Hardware (10 Credits)
- Logic, Foundations and Computation (10 Credits)
Study
The MRes is a full-time 12 months course starting October 1st and ending with the submission of the dissertation.
Admission Criteria and Applications
The standard minimum entrance requirement is a BSc in a Computing, Mathematics, Physics or similar course at a level of 2(i). Information on how to apply can be found on our admissions contact page.
| Prof F G Moller | f.g.moller@swan.ac.uk |
| Prof P D Mosses | p.d.mosses@swan.ac.uk |
| Prof J V Tucker (Head of School) | j.v.tucker@swan.ac.uk |
| Dr A Beckmann | a.beckmann@swan.ac.uk |
| Dr U Berger (PhD/MPhil Programme Coordinator) | u.berger@swan.ac.uk |
| Dr J E Blanck | j.e.blanck@swan.ac.uk |
| Dr P W Grant | p.w.grant@swan.ac.uk |
| Dr N A Harman | n.a.harman@swan.ac.uk |
| Dr O Kullmann (PhD/MPhil Admissions Tutor) | o.kullmann@swan.ac.uk |
| Dr M Roggenbach | m.roggenbach@swan.ac.uk |
| Dr M Seisenberger | m.seisenberger@swan.ac.uk |
| Dr A Setzer (MRes Programme Coordinator and Admissions Tutor) | a.g.setzer@swan.ac.uk |