Visit our website for more information on fees, scholarships, postgraduate loans and other funding options to study Logic and Computation 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.
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.
Research Component
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.
Taught Component
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*).
Philosophy of Language and Logic involves the study of linguistic expressions such as words, sentences, texts and dialogues, where the emphasis is on the context in which these expressions are interpreted.
The programme "Philosophy of Language and Logic" focuses on the development of analytical philosophy from Frege onwards and the rise of modern semantics in the last decades of the 20th century. Its main research interests are the context-dependent interpretation and its relation to formal semantics and pragmatics, and philosophy of mind. Typical themes that are addressed are context-dependence and presupposition, dynamic theories of meaning, discourse and discourse structure, the analysis of propositional attitudes and their relation to mental states, and the relation between interpretation and psychological processes.
Current research is connected with two NWO-funded projects that are being carried out within this section, namely "Information Integration in Discourse" and "Reasoning and the Brain" (in collaboration with the University of Amsterdam and the F.C. Donders Centre). Furthermore, together with the department of linguistics, this section organises the interdisciplinary "Semantics Colloquium".
The members of the section work together with several philosophical and semantic centres in the Netherlands, Germany, France and the United States.
See the website http://www.ru.nl/masters/philosophy/logic
1. A completed Bachelor's degree in Philosophy or in a related discipline (in the latter case, students must have acquired at least 60 EC in Philosophical disciplines).
The applicant must have a degree with merit or distinction or equivalent. Meaning: a student’s weighted grade-point average in philosophy in the 2nd and 3rd year of their Bachelor's programme must be the equivalent of 7.5 or more (on the Dutch scale of 10).
On the page "Conversions of international grades" you will find an indication of what the equivalent of a Dutch 7.5 or 8 might be in the country where you obtained your Bachelor’s degree.
2. A proficiency in English
In order to take part in this programme, you need to have fluency in both written and spoken English. Non-native speakers of English* without a Dutch Master's degree must either have obtained a higher diploma from an English-teaching institution or be in possession of one of the following certificates:
- A TOEFL score of >577 (paper based) or >233 (computer based) or >90 (internet based)
- An IELTS score of >6.5
- Cambridge Certificate of Advanced English (CAE) or Certificate of Proficiency in English (CPE) with a mark of C or higher
3. Highly motivated
An applicant must be able to demonstrate to the Examination Board that they have serious research interests and skills. Applicants must write a motivation letter and send a writing sample which can help evaluate their research and writing skills.
Philosophy has a unique role within contemporary society. Unlike other academic disciplines, its subject matter is not limited to one set of questions, or one domain of investigation. Philosophers delve into all aspects of science and society. In order to do this, they must possess essential skills, namely the ability to analyse complex issues logically and conceptually, and the ability to document their conclusions in clear and persuasive language. Such skills are not innate, they require intensive training. The Research Master's programme in Philosophy constitutes the first professional step towards the acquisition of these skills.
This programme has been designed for people with the ambition to do research. Graduates tend to fall into three groups. A majority of the students continue their research within academia by applying for a doctoral programme in the Netherlands or abroad. We take particular pride in the fact that more than 75 percent of our graduates manage to obtain a PhD position within two years of graduating. A second group goes on to teach philosophy at secondary schools. And a third group enter research-related professions outside of education. Our graduates are also represented in journalism, science policy, and politics.
Philosophy has a unique role within contemporary society. Unlike other academic disciplines, its subject matter is not limited to one set of questions, or one domain of investigation. Philosophers delve into all aspects of science and society. In order to do this, they must possess two essential skills, namely the ability to analyse complex issues logically and conceptually and the ability to document their conclusions in clear and persuasive language. Such skills are not innate. They require intensive training. The Research Master's programme in Philosophy constitutes the first professional step towards the acquisition of these skills.
What makes this programme special?
The English-taught Research Master's programme in Philosophy is a two-year course that is meant for students of proven ability who wish to prepare for an academic career in philosophy. We offer the following to provide you with the best possible academic background:
- A combination of internationally acclaimed research and excellent teaching
- A big offer of research seminars in the history of philosophy, continental philosophy and analytic philosophy
- A broad range of specialisations in Philosophical Anthropology, Metaphysics, Philosophy of mind, Philosophy of language and Logic, Philosophical Ethics, Social and Political Philosophy and the History of Philosophy
- An emphasis on the training of research skills
- A personal supervisor who guides you throughout the programme
- An excellent preparation for post-graduate life by means of the specialised character of the Research Master's thesis, which is composed of a publishable article and of a PhD research proposal
- A high chance of obtaining a PhD position in the Netherlands or abroad
- An international climate.
See the website http://www.ru.nl/masters/philosophy/logic
The MLitt in Logic and Metaphysics is a one year taught postgraduate programme run by the St Andrews and Stirling Graduate Programme in Philosophy (SASP), taught by staff from both the University of St Andrews and the University of Stirling. It focuses on topics within metaphysics and logic; with classes covering logic and advanced logic, formal approaches to natural languages and contemporary and historical debates in metaphysics.
Students have the opportunity to study topics through lectures, tutorials and reading groups. Modules are taught in small groups, normally consisting of four to ten students. All postgraduate taught students in the Department participating in the compulsory Current Issues modules. In 2017-2018, there were approximately 40 postgraduate taught students in the Department.
The programme consists of six taught modules taken over two semesters (each assessed by coursework) and a 15,000-word dissertation in an area of your choice.
Every MLitt student is assigned an adviser at the beginning of the year. Your adviser will provide you with individual guidance on essay planning and writing, academic conduct, and advice on how best to apply for a PhD place.
The MLitt in Logic and Metaphysics can also be taken as a part-time programme. Students will be expected to take three modules per year over two years, working on the dissertation over two summers. For more information about part time study, please contact the SASP secretary by emailing [email protected].
The modules in this programme have varying methods of delivery and assessment. For more details of each module, including weekly contact hours, teaching methods and assessment, please see the latest module catalogue which is for the 2017–2018 academic year; some elements may be subject to change for 2018 entry.
This one year taught postgraduate programme leads to the degree of MSc in Pure Mathematics and Mathematical Logic. The programme is suitable not only for students who wish to improve their background knowledge prior to applying to undertake a PhD by research, but also for students who wish to enhance their knowledge of postgraduate-level abstract mathematics.
The MSc comprises of the taught component, running from the start of the academic year in September until the end of the second semester in late Spring, followed by the dissertation component running from May until September.
During the taught component of the course, you will normally take five units together with a written project. You may choose exclusively pure topics, or mainly logic modules with a few pure modules. Alternatively, students can choose a mixture of the two. The project is normally an expository account of a piece of mathematics and you will write this under the guidance of a supervisor. The taught component comprises of conventional lectures supported by examples classes, project work and independent learning via reading material.
After successfully completing the taught component, you will prepare a dissertation on an advanced topic in pure mathematics or mathematical logic, normally of current or recent research interest, chosen in consultation with your supervisor.
You can also take the programme part-time, over a period of two years. There is some flexibility in the precise arrangements for this programme, but you would normally attend two lecture courses each semester for three semesters before commencing work on your dissertation.
The aims of the programme are to provide training in a range of topics related to pure mathematics and mathematical logic, to encourage a sophisticated and critical approach to mathematics, and to prepare students who have the ability and desire to follow careers as professional mathematicians and logicians in industry or research.
The taught component is assessed by coursework, project work and by written examination. The written exams take place at the end of January (for the first semester course units) and the end of May (for the second semester course units). The dissertation component is assessed by the quality and competence of the written dissertation.
The Postgraduate Diploma and Postgraduate Certificate exist as exit awards for students who do not pass at MSc level.
The taught courses cover material related to the research interests of the academic staff. Topics covered in lectured course units normally include: set theory, group theory, dynamical systems and ergodic theory, measure theory, functional analysis, algebraic topology, Godel's theorems, hyperbolic geometry, Lie algebras, analytic number theory, Galois theory, predicate logic, computation and complexity, and other topics relevant to current mathematics.
In this Master's specialisation, mathematicians working in areas pertinent to (theoretical) computer science, like algebra and logic, and theoretical computer scientists, working in areas as formal methods and theorem proving, have joined forces to establish a specialisation in the Mathematical Foundations of Computer Science. The programme is unique in the Netherlands and will be built on the excellence of both research institutes and the successful collaborations therein.
The emphasis of the Master's is on a combination of a genuine theoretical and up-to-date foundation in the pertinent mathematical subjects combined with an equally genuine and up-to-date training in key aspects of theoretical computer science. For this reason, the mathematics courses in this curriculum concentrate on Algebra, Complexity Theory, Logic, Number Theory, and Combinatorics. The computer science courses concentrate on Formal Methods, Type Theory, Category Theory, Coalgebra and Theorem Proving.
Within both institutes, ICIS and WINST, there is a concentration of researchers working on mathematical logic and theoretical computer science with a collaboration that is unique in the Netherlands. The research topics range from work on algebra, logic and computability, to models of distributed, parallel and quantum computation, as well as mathematical abstractions to reason about programmes and programming languages.
See the website http://www.ru.nl/masters/mathematics/foundations
1. A completed Bachelor's degree in Mathematics or Computer Science
In order to get admission to this Master’s you will need a completed Bachelor's in mathematics or computer science that have a strong mathematical background and theoretical interests. We will select students based on their motivation and their background. Mathematical maturity is essential and basic knowledge of logic and discrete mathematics is expected.
2. A proficiency in English
In order to take part in the programme, you need to have fluency in English, both written and spoken. Non-native speakers of English without a Dutch Bachelor's degree or VWO diploma need one of the following:
- TOEFL score of ≥575 (paper based) or ≥90 (internet based)
- IELTS score of ≥6.5
- Cambridge Certificate of Advanced English (CAE) or Certificate of Proficiency in English (CPE), with a mark of C or higher
There is a serious shortage of well-trained information specialists. Often students are offered a job before they have actually finished their study. About 20% of our graduates choose to go on to do a PhD but most find jobs as systems builders, ICT specialists or ICT managers in the private sector or within government.
In this Master's specialisation, mathematicians working in areas pertinent to (theoretical) computer science, like algebra and logic, and theoretical computer scientists, working in areas as formal methods and theorem proving, have joined forces to establish a specialisation in the Mathematical Foundations of Computer Science. The programme is unique in the Netherlands and will be built on the excellence of both research institutes and the successful collaborations therein.
The emphasis of the Master's is on a combination of a genuine theoretical and up-to-date foundation in the pertinent mathematical subjects combined with an equally genuine and up-to-date training in key aspects of theoretical computer science. For this reason, the mathematics courses in this curriculum concentrate on Algebra, General Topology, Logic, Number Theory, and Combinatorics. The computer science courses concentrate on Formal Methods, Type Theory, Category Theory, Coalgebra and Theorem Proving.
Within both institutes, ICIS and WINST, there is a concentration of researchers working on mathematical logic and theoretical computer science with a collaboration that is unique in the Netherlands. The research topics range from work on algebra, logic and computability, to models of distributed, parallel and quantum computation, as well as mathematical abstractions to reason about programmes and programming languages.
See the website http://www.ru.nl/masters/mathematics/foundations
Are you looking for a highly challenging two-year Research Master's programme in Philosophy? Come to Radboud University!
Philosophy has a unique role within contemporary society. Unlike other academic disciplines, its subject matter is not limited to one set of questions, or one domain of investigation. Philosophers delve into all aspects of science and society. In order to do this, they must possess essential skills, including the ability to analyse complex issues logically and conceptually and the ability to document their conclusions in clear and persuasive language. Such skills are not innate; they require intensive training. The Research Master's programme in Philosophy constitutes the first professional step towards the acquisition of these skills.
See the website http://www.ru.nl/masters/philosophy
- A combination of internationally acclaimed research and excellent teaching
- An offering of research seminars in the history of philosophy, continental philosophy and analytic philosophy
- A broad range of specialisations in Philosophical Anthropology, Metaphysics, Philosophy of mind, Philosophy of language and Logic, Philosophical Ethics, Social and Political Philosophy, History of Philosophy, and Philosophy of Religion.
- An emphasis on the training of research skills
- A personal supervisor who guides you throughout the programme
- An excellent preparation for post-graduate life by means of the specialised character of the Research Master's thesis, which is composed of a publishable article and of a PhD research proposal
- A high chance of obtaining a PhD position in the Netherlands or abroad
- An international climate.
The Faculty of Philosophy, Theology and Religious Studies at Radboud University offers the entire range of philosophical disciplines. However, students enrolling in the Research Master's programme are expected to choose one of the following specialisations:
- Metaphysics and Epistemology
In Metaphysics and Epistemology you focus on the development of the hermeneutic tradition – key figures being Schleiermacher, Dilthey, Heidegger, Gadamer, Ricoeur and Derrida.
- Philosophical Anthropology
In Philosophical Anthropology you study the philosophical significance of psychoanalytical hermeneutics as developed by Freud and followers (Lacan, Klein, et. al.). Research focuses in particular on the phenomenological tradition (Sartre, Merleau-Ponty, Deleuze and Butler).
- Philosophical Ethics
In Philosophical Ethics you investigate the moral implications of human actions from the point of view of virtue ethics (Aristotle, MacIntyre), phenomenology (Heidegger, Levinas) and hermeneutics (Gadamer, Ricoeur). This section also runs an international Nietzsche research project.
- Social and Political Philosophy
In Social and Political Philosophy you study ‘the political’ as an essential but conflict-ridden aspect of the human condition, and politics as a way of coping with this. Spinoza, Hobbes, Kant, Schmitt, Arendt, Zizek and Foucault are central figures in this specialisation.
- Philosophy of Language and Logic
Philosophy of Language and Logic involves the study of linguistic expressions such as words, sentences, texts and dialogues, where the emphasis is on the context in which these expressions are being interpreted.
- Philosophy of Mind
In Philosophy of Mind and Science you study problems such as mental causation, phenomenal consciousness and the nature of mental state attribution from the viewpoint of neurophenomenenology and the embodied embedded cognition paradigm.
- History of Philosophy
In History of Philosophy you explore the development of natural philosophy and metaphysics from the late Middle Ages to early modern and modern times, investigating, in particular the evolution of the sciences of psychology and physics from philosophy.
- Philosophy of Religion
In Philosophy of Religion you focus on the philosophical reflection on religion in Western thought and contemporary society, and also exploring the relation between philosophy and religion in Western and other cultural contexts.
Philosophy has a unique role within contemporary society. Unlike other academic disciplines, its subject matter is not limited to one set of questions, nor to one domain of investigation. Philosophers delve into all aspects of science and society. In order to do this, they must possess essential skills, including the ability to analyse complex issues logically and conceptually and the ability to document their conclusions in clear and persuasive language. Such skills are not innate; they require intensive training. The research Master's programme in Philosophy constitutes the first professional step towards the acquisition of these skills.
This programme has been designed for people with the ambition to do research. Graduates tend to fall into one of three groups:
1. A majority of the students continue their research within academia by applying for a doctoral programme in the Netherlands or abroad. We take particular pride in the fact that more than 75 percent of our graduates manage to obtain a PhD position within two years of graduating.
2. A second group goes on to teach philosophy at secondary schools.
3. And a third group enter research-related professions outside of education.
Our graduates are also represented in journalism, science policy, and politics.
The reputation of Radboud University – and of the Philosophy Faculty in particular – will serve you well whichever career path you choose.
At the end of April the Accreditation Organisation of the Netherlands and Flanders NVAO has renewed the accreditation of the Research Master Philosophy. The NVAO evaluates the Research Master Philosophy as 'good'. The verdict shows that the NVAO finds the Master's programme systematically above average quality.
The Faculty offers scholarships for excellent students from abroad wishing to start the Research Master’s programme in Philosophy every year. Each scholarship amounts to €10,000 for the first year of the Research Master’s programme, and in case of good study results can be renewed for the second, final year.
See the website http://www.ru.nl/masters/philosophy
The Graduate Diploma in Philosophy is a one-year conversion course (two years part-time), designed for those who already have a degree and wish to pursue an interest in philosophy. No formal training in philosophy is required. The programme provides an ideal learning environment if you are interested in progressing to an MA in Philosophy, or simply want the opportunity to learn about philosophy.
The Diploma has two main components:
You can choose from a wide range of modules, which in the past have included:
Level 1
Level 2
Level 3
Students in the Graduate Diploma programme receive an average of eight timetabled contact hours per week over the course of the programme. The contact hours come in the form of lectures, tutorials and seminars, depending on the four modules chosen by the student. In addition, students are offered six hours of one-to-one dissertation supervision with an expert in their chosen research area.
Philosophical development involves not only familiarizing oneself with a body of knowledge but also acquiring skills in critical reasoning and argumentation. Thus, in addition to introducing students to key works in philosophy, the programme offers many opportunities for dialogical interaction. Lecture sessions include time for questions, tutorials consist mainly of structured, critical dialogue in a supportive environment, and seminars provide opportunities for extended discussion. Dissertation supervision meetings give guidance on suitable reading, critical discussion of relevant sources, detailed advice on how to write a 12,000 word piece of research, and intensive critical engagement with the student’s philosophical position and argument.
Timetabled contact is only a part of the learning process; its aim is to provide students with the knowledge and skills required to navigate the relevant literature themselves and to pursue independent learning. Lectures and accompanying documents contextualise material and introduce students to topics, positions and debates. At least four hours of additional study per week are recommended for each lecture or seminar, which includes reading and the completion of assignments. Having completed the reading, students engage in discussion in seminars or return to lecture topics in small group tutorials. These help students to refine their understanding of material and to develop the reasoning skills needed to formulate, present, defend and criticise philosophical positions.
Graduate Diploma students also can benefit from a range of other activities in the department, including the department’s postgraduate philosophy society (EIDOS), weekly research seminars and reading groups, and occasional conferences, workshops and Royal Institute of Philosophy lectures. The programme director remains in contact with students throughout the year and is always available to discuss any issues that might arise, whether personal or academic.
With a deep and rigorous programme of coursework and research in the Department of Philosophy, Logic and Scientific Method, the MSc Philosophy of Science explores both general questions about the nature of science and specific foundational issues related to the individual sciences.
This programme is primarily designed to be accessible and stimulating for two main audiences: those who have studied science as undergraduates and would now like to study the philosophical foundations and methodology of science in depth, and those who have studied philosophy and would now like to delve deeper into the philosophy of science.
Founded in 1946 by the eminent philosopher of science Sir Karl Popper, LSE’s Department of Philosophy, Logic and Scientific Method is the ideal place to explore conceptual, methodological and foundational issues in the sciences. Along with the closely related Centre for Philosophy of Natural and Social Science, it enjoys an international reputation for its cutting-edge research, bustling seminar series and distinguished faculty and visitors.
This master's programme prepares you for many different possible destinations, including PhD work in philosophy or related disciplines, and employment in many non-academic fields such as science journalism, science administration and science management.
Further information on graduate destinations for this programme
This research oriented Master’s will provide you with a rich toolkit of creative problem solving skills that will turn you into a desired scientist, both in and outside academia. You will dive deep into mathematics, develope genuine research skills in pure, applied and industrial areas and learn to think out of the box.
This Master's is part of the national Mastermath Programme, a collaboration of Dutch Mathematics Departments who joined efforts to enhance their Master's programmes. Due to this collaboration you can benefit from an exceptional list of mathematical courses, offered either by Utrecht University or another Dutch University. Check the courses page for more information and a full overview of the courses you can choose from.
We combine our course offerings with personal and small-scale teaching, including:
Within this Master's you can choose from 8 different tracks, allowing you to tailor the programme to your own personal interest. Depending on the track you choose, you can pursue your degree either in the direction of Fundamental Mathematics or in Mathematical Modeling.
Fundamental Mathematics tracks:
Mathematical Modeling tracks:
You can also choose to do a Research project in History of Mathematics.
If you are up for it, you can also combine the Mathematical Sciences programme with another Master's programmes of the Graduate School of Natural Sciences (e.g. Theoretical Physics, Climate Physics or Computing Science). This will result in a double Master's degree.
The Mathematical Sciences programme will prepare you for a challenging career, either in or outside academia. Mathematicians are desired employees in today's job market since they can easily deal with complex problems and large data sets in an abstract way. About 40% of our students continue with a PhD in mathematics or related research areas such as imaging or physics (in recent years at Harvard, London, Oxford, Stanford, etc). Many find employment in a research oriented environment at governments or in industry. Work fields include risk analysis, security, forensics, consultancy, data analytics, IT, logistics and more.
The accredited Master of Science program in Computer Science is a two-year program that has been designed for international and German graduate students. The curriculum is very flexible. Students can compile their individual study plans based on their background and interests. It is also a very practical program. In addition to lectures and tutorials, students will complete two seminars, one or two projects and the master thesis.
In the beginning students will choose one or two key courses. Key courses are courses which introduce the students to the research areas represented at the Department of Computer Science. The following key courses are offered:
• Algorithm Theory
• Pattern Recognition
• Databases and Information Systems
• Software Engineering
• Artificial Intelligence
• Computer Architecture
After that, students can specialize in one of the following three areas:
• Cyber-Physical Systems
• Information Systems
• Cognitive Technical Systems
Here are some examples of subjects offered in the three specialization areas:
Cyber-Physical Systems:
• Cyber-Physical Systems – Discrete Models
• Cyber-Physical Systems – Hybrid Control
• Real Time Operation Systems and Reliability
• Verification of Embedded Systems
• Test and Reliability
• Decision Procedures
• Software Design, Modeling and Analysis in UML
• Formal Methods for Java
• Concurrency: Theory and Practice
• Compiler Construction
• Distributed Systems
• Constraint Satisfaction Problems
• Modal Logic
• Peer-to-Peer Networks
• Program Analysis
• Model Driven Engineering
Information Systems:
• Information Retrieval Data Models and Query Languages
• Peer-to-Peer Networks
• Distributed Storage
• Software Design, Modeling and Analysis in UML
• Security in Large-Scale Distributed Enterprises
• Machine Learning
• Efficient Route Planning
• Bioinformatics I
• Bioinformatics II
• Game Theory
• Knowledge Representation
• Distributed Systems
Cognitive Technical Systems:
• Computer Vision I
• Computer Vision II
• Statistical Pattern Recognition
• Mobile Robotics II
• Simulation in Computer Graphics
• Advanced Computer Graphics
• AI Planning
• Game Theory
• Knowledge Representation
• Constraint Satisfaction Problems
• Modal Logic
• Reinforcement Learning
• Machine Learning
• Mobile Robotics I
We believe that it is important for computer science students to get a basic knowledge in a field in which they might work after graduation. Therefore, our students have the opportunity to complete several courses and/or a project in one of the following application areas:
In the last semester, students work on their master’s thesis. They are expected to tackle an actual research question in close cooperation with a professor and his/her staff.
Study Innovation, Science & Technology Policy at an internationally recognised Centre of Research
Taught Masters degrees in History, Art History, Philosophy and American Studies at Sussex, a top 20 University
