About the Program

View of the Old City part in Dresden

International MSc Program in Computational Logic

The European Network of Excellence in Computational Logic, CompulogNET, developed a curriculum for the International Master's Program in Computational Logic (MCL) with the ultimate goal that the best students can study with the best experts in the field.

Based on a sound background in mathematical logic, theoretical computer science and artificial intelligence, students learn the engineering aspects of logic-based artificial intelligence or computational logic. MCL is an accredited and internationally recognized Master's Program focusing on Computational Logic. Integrated study periods at partner universities in Italy, Austria and Portugal are offered with the objective to obtain a joint degree.

Program Objective

Considering that artificial intelligence will likely be the most important technology of the future, the program aims at teaching students profound theoretical and practical knowledge required for professional practice in the field of logic-based artificial intelligence while developing the ability to work according to scientific methods. Students are trained to analyze problems and to develop sustainable solutions. They master the design, development, operation and maintenance of knowledge-based systems, are familiar with formal methods and techniques, and are able to specify and implement complex systems.

Career Prospects

Thanks to their acquired broad technical knowledge, the graduates will be able to master in their professional life a large variety of complex tasks in the fields of computer science and artificial intelligence. Graduates are qualified for scientific research (PhD) as well as related professional fields. They will have the possibility to continue in basic research, conduct research in institutions of higher education or occupy a position in an industrial company.