Whether you’re drawn to the logic behind machine reasoning or interested in the foundations of formal methods, our master’s programme Logic and Artificial Intelligence offers a powerful combination of theoretical grounding and practical, hands-on experience. It bridges logic-based foundations with data-driven techniques in artificial intelligence, machine learning, and neural networks, and prepares you to build safe, reliable, and ethically sound technologies in an increasingly complex digital world. This master’s programme combines technical depth with societal responsibility, and provides you with the knowledge and skills to launch a successful career in both academia and the private sector.

Degree programme codeUE 066 931 - Master's Programme Logic and Artificial Intelligence 
Related Master's programmesMaster's Programmes in Informatics 
Duration4 semesters 
Credits120 ECTS 
Language of instructionEnglish 
DegreeDipl.-Ing. (internationally comparable with "Master of Science") 
Module structureLogic and Artificial Intelligence 
Key Facts and Related Master's Programmes 

Programme Structure

Full details about structure and content of the program are available in the curriculum (PDF) and in the list of courses in TISS.

Grafische Darstellung des Curriculums Logic and AI

The first and second semesters are dedicated to getting around the foundations of Logic and Artificial Intelligence. Modules in Logic and Theory, Algorithms and Complexity, Symbolic (Logic-Based) AI, and Machine Learning are complemented by your choice between Artificial Intelligence and Society or Safe and Trustworthy Systems.

Over the course of the third semester, you’ll be able to specialize in your areas of interest with electives that build directly upon the foundational modules.

The focus in the fourth semester lies on developing and writing up your master’s thesis.

Throughout your studies, a well-balanced set of open electives and extension courses deepen your knowledge of core competencies in Logic and Artificial Intelligence and allow you to explore interdisciplinary areas, apply AI and logic concepts in broader contexts, and develop valuable secondary skills.

Further Information

Admission to the Master’s programme in ‘Logic and Artificial Intelligence’ is possible after completing an eligible Bachelor’s degree at an accredited national or international post-secondary educational institution. In particular, a degree programme is considered eligible, provided that at least 120 ECTS credits have been completed in the subject areas of Mathematics and Computer Science, of which at least:

  1. 25 ECTS credits in mathematics and statistics, as well as the theoretical foundations of computer science, with knowledge, skills and competences acquired in accordance with the modules ‘Algebra and Discrete Mathematics’, ‘Analysis’, ‘Statistics and Probability Theory’, and ‘Theoretical Computer Science’ of the Bachelor’s degree programme in Informatics at TU Wien;
  2. 20 ECTS credits in algorithms, data structures and programming, covering the knowledge, skills and competences taught in the modules ‘Algorithms and Data Structures’, ‘Introduction to Programming’ and ‘Programming Paradigms’ of the Bachelor’s degree programme in Informatics at TU Wien. 

To compensate for fundamental subject-specific differences between your previous education and the level of qualifications expected at TU Wien, supplementary examinations totalling a maximum of 30 ECTS credits may be required. 

For example, the following Bachelor's programmes at TU Wien are considered eligible for admission: 

as well as the following degrees from other Austrian universities, without supplementary examinations:

  • Informatics (Uni Vienna, TU Graz, JKU Linz, Uni Innsbruck, Uni Salzburg)
  • Business Informatics (Uni Wien, JKU Linz, Uni Klagenfurt)
  • Software Engineering and Management (TU Graz)
  • Applied Informatics (Uni Klagenfurt)

You can find the general admission requirements on the page Admission to Master’s Programmes.

The world needs professionals who can think critically about advanced AI systems, and design intelligent systems that are safe, transparent, and ethically responsible. This programme gives you a solid foundation in logic-based techniques and opens doors to specialized knowledge in fields such as semantic web technologies, formal systems engineering, logistics, operations research, cybersecurity, and many more. You won’t just learn how to build AI - you will learn how to think critically about the implications of AI-systems and how to develop them responsibly. With a master’s degree in Logic and Artificial Intelligence, you have a bright career ahead of you—not only in terms of salaries but also in shaping the future of AI in our society.

At TU Wien, you can undertake one of the following doctoral programmes after completing your Master’s degree:

  • 796 700 – Doctoral Programme in Engineering
  • 796 600 – Doctoral Programme in Natural Sciences
  • 796 300 – Doctoral Programme in Social and Economic Sciences