Logic and Computation Vienna University of Technology

Overview

In this Logic and Computation program from Vienna University of Technology, 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.

Key Facts

The master 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.

The master 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.