Computational LogicTechnische Universität Dresden

The International MSc Program in Computational Logic is designed for students with a background in mathematical logic, theoretical computer science, and artificial intelligence. The program focuses on the engineering aspects of logic-based artificial intelligence and computational logic.

The program is structured around:

• Seven compulsory basic modules
• Three selected advanced modules
• A project
• A research master thesis

The courses are distributed over three semesters, totaling 90 ECTS credit points. An additional 30 ECTS credit points are assigned to the master's thesis and its defense in the fourth semester. The entire program is a two-year course of study, accumulating 120 ECTS credit points.

Students focus on individual topics by selecting a set of advanced modules. The master thesis requires candidates to independently solve a problem in Computational Logic or its applications using scientific methods. The Master's examination includes written or oral module examinations and the MSc thesis with its defense.

The program aims to provide students with theoretical and practical knowledge for professional practice in logic-based artificial intelligence. Students develop the ability to analyze problems and create sustainable solutions, mastering the design, development, operation, and maintenance of knowledge-based systems.

Graduates are qualified for scientific research (PhD) and related professional fields, with opportunities in basic research, higher education institutions, or industrial companies. They can handle complex tasks in computer science and artificial intelligence due to their broad technical knowledge.

Please note that this program will not be offered from winter term 2020/2021.