Logic and Computation is a Master’s program in computer science at the Vienna University of Technology. Its name stands for an interdisciplinary field that has its roots in mathematics, computer science, and logic.

This program is aimed at highly motivated students who want to gain knowledge in the following fundamental fields of computer science:

• Algorithms and complexity
• Knowledge representation and artificial intelligence
• Logic, mathematics and theoretical computer science
• Programming languages and verification

Why study Logic and Computation in Vienna?

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.

As a Master student you will learn basic and advanced methods in the field of Logic and Computation. Furthermore, you will have the opportunity to gain insight into state-of-the art knowledge by working together with top researchers belonging to our research groups.

Vienna has a prominent history in mathematics, computer science, and logic research (see, Kurt Gödel, Vienna Circle, etc.). The resident world-class faculty in Formal Methods and Logic and the city being No. 1 in ‘Quality of Living’ ranking by Mercer (since 2009) are only two among many reasons why (international) students and top researchers consider Vienna as a great place to study and to do research.

Professional Perspective

The Master’s program in Logic and Computation imparts knowledge that is scientifically and methodically at its highest level. The program ideally 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 the university 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).

You got interested in the Master’s program Logic and Computation?

Read more about it on this website. We hope to see you soon in one of our lectures!