MSc Logic and Computation
Logic and Computation is crucial for today’s infrastructure, industry, consumer products, etc. Formal methods in this field build the basis for tackling great challenges, such as storing and processing big amount of data, software verification for fail-safe software in critical environments, fast algorithms to solve computationally hard problems, etc.
What are the contents of the program?
In this program, you will deal practically and theoretically with the current methods and technologies: In addition to algorithm analysis and machine learning, you will be intensively involved with optimization and inference methods for knowledge processing, answer-set programming and truth-maintenance systems. In addition, your knowledge in the areas of requirements engineering, software testing or high-performance computing will be expanded to a high level. You complete the given courses with free electives, which allow you to expand and deepen your personal research focus.
Which qualifications do I acquire?
The master’s program Logic and Computation provides you with in-depth, scientifically and methodologically high-quality education geared towards lasting knowledge.
During the course of your studies, you develop important cognitive and personal competencies that enable you to analyze and solve complex tasks based on formal, mathematical and logic-based methods. You can further develop formal mathematical methods, master problems with a scientifically sound approach, and have a logical-mathematical abstraction ability. Your decision-making and leadership skills are strengthened and you are capable of critical reflection on the status quo and your own actions.
What can I do with my degree?
The Master’s program imparts knowledge that is scientifically and methodically at its highest level. The program prepares you for continuing your education and starting an academic career, especially for a PhD in this area, and a job in the industry. The areas of operations where our graduates are internationally competitive include fundamental research at universities or in the industry, applied science and development in industrial or scientific Spin-Offs in the areas of Formal Systems Engineering, Web and Semantic Systems, Logistic, Operations Research, and Telecommunication, and Analysis and Consulting in these areas.
After operational qualification, you will also be able to take leading positions. Based on the different requirements for these jobs, we do not only teach you the aforementioned expert knowledge, but also cognitive and practical skills (such as analysis of complex settings, scientifically proven methods, ability to think abstract, etc.) and social skill (such as communication skills, leadership competencies, critical reflection of the status-quo and your own action).