Logic is the basis for reasoning about what we can express and compute, 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.
The MRes Logic and Computation course will teach you about advanced techniques in logic and their applications in research problems in computer science. You will receive an elite education of direct relevance to research and development problems in contemporary information and communication technology (ICT).
Teaching score of Excellent.
Highest percentage of top-class researchers of any Computer Science department in Wales – and only 12 in the UK have higher.
70% of the research activity assessed as world-leading or internationally excellent.
Our industrial programme IT Wales which can arrange vacation employment placements.
A state-of-the-art education.
Friendly staff, committed to the highest standards.
A university with high success rate, low drop-out rate, and excellent student support.
Swansea's Library spends more per student on books and other resources than any other university in Wales, and most in the UK.
The main part of the MRes in Logic and Computation is a substantial and challenging project involving cutting edge research. The completion of such a project will give you the ability and confidence to pursue a successful career in industrial research and development, or to proceed to academic PhD studies.
In seminars and reading courses you will enter the world of research by studying general topics in theoretical computer science as well as special topics for your research project. Guided by your supervisor you 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. Topics of the seminars are chosen in accordance with the research projects, and will cover material such as:
Theorem proving techniques Formal program verification Algebraic and coalgebraic specification Modelling of distributed systems Advanced methods in complexity theory Additionally you will choose selected taught modules covering important topics such as Critical Systems, IT Security, Concepts of Programming Languages, Artificial Intelligence Applications, Design Patterns and Generic Programming.
The Department is well equipped for teaching, and is continually upgrading its laboratories to ensure equipment is up-to-date – equipment is never more than three years old, and rarely more than two. Currently, students use three fully networked laboratories: one, running Windows; another running Linux; and a project laboratory, containing specialised equipment. These laboratories support a wide range of software, including the programming languages Java, C# and the .net framework, C, C++, Haskell and Prolog among many; integrated programme development environments such as Visual Studio and Netbeans; the widely-used Microsoft Office package; web access tools; and many special purpose software tools including graphical rendering and image manipulation tools; expert system production tools; concurrent system modelling tools; World Wide Web authoring tools; and databases.
All Computer Science courses will provide you the transferable skills and knowledge to help you take advantage of the excellent employment and career development prospects in an ever growing and changing computing and ICT industry.
90% of Swansea’s Computer Science graduates are in full-time employment or further study within six months of graduating (HESA June 2011).
Some example job titles from the HESA survey 2011:
Software Engineer: Motorola Solutions
Change Coordinator: Logica
Software Developer/Engineer: NS Technology
Workflow Developer: Irwin Mitchell
IT Developer: Crimsan Consultants
Consultant: Crimsan Consultants
Programmer: Evil Twin Artworks
Web Developer & Web Support: VSI Thinking
Software Developer: Wireless Innovations
Associate Business Application Analyst: CDC Software
Software Developer: OpenBet Technologies
Technical Support Consultant: Alterian
Programming: Rock It
Software Developer: BMJ Group
The results of the Research Excellence Framework (REF) 2014 show that Swansea Computer Science ranked 11th in the UK for percentage of world-leading research, and 1st in Wales for research excellence. 40% of our submitted research assessed as world-leading quality (4*).
The entry requirements for the Logic and Computation MRes is a 2:1 honours degree (or above) in Computer Science, Mathematics or a closely related discipline. English language requirement IELTS 6.5 (with a minimum of 5.5 in each component) or Swansea University recognised equivalent.
Recipient: Swansea University
Insert previous message below for editing?
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need. Why not add a message here