Logic and Computation
Visit our website for more information on fees, scholarships, postgraduate loans and other funding options to study at Swansea University - 'Welsh University of the Year 2017' (Times and Sunday Times Good University Guide 2017). 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. This course will teach students about 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).
Modules may include: theorem proving techniques; formal program verification; algebraic and coalgebraic specification; modelling of distributed systems; advanced methods in complexity theory; critical systems; information technology security; concepts of programming languages, artificial intelligence applications; design patterns; generic programming.
A combination of written examinations, coursework and a dissertation.
|Qualification||Study mode||Start month||Fee||Fee locale||Course duration|
|Master of Research - MRes||Full-time||September 2017||GBP 4,195 (Year 1)||Home/EU||1 Years|
|Master of Research - MRes||Part-time||September 2017||GBP 8,450 (Year 1)||International||2 Years|
|Master of Research - MRes||Part-time||September 2017||GBP 2,097 (Year 1)||Home/EU||2 Years|
|Master of Research - MRes||Full-time||September 2017||GBP 16,950 (Year 1)||International||1 Years|
Get in touch today and increase your future employability