Results in these cagtegories
Select sub-categories to narrow down results.

Master programme Computer Sciences (E)

Content and focus of the degree programme:

The aim of the degree programme is a sound academic education in computer sciences enabling expert opinions and the application of the methods learnt for problem resolution. To this aim key skills such as abstraction, formalisation and critical dealing with the task are taught and trained. Graduates will both be able to work independently and in a project-oriented way and to develop and present solutions professionally along the whole process. This master’s programme is characterised by a wide variety of specialisation options. The only compulsory module, which serves as a basis and includes courses in logics, formal specification and an introduction to model checking, is “Specification and Verification”. Moreover, two modules each can be chosen from the following blocks. Module block 1: Parallel systems and advanced distributed systems, Advanced computer systems, Quantum information and quantum computers, Semantic systems. Module block 2: Databases and information systems, information security, selected chapters of verification.

Higher education institution:
Universität Innsbruck
Group of fields of study:
Engineering Sciences
Degree programme:
Computer Sciences (E)
Master programme
Academic degree:
Master of Science, MSc
4 Semester / 120 ECTS*

Further information:

Languages of instruction:
Student Union fee: EUR 20,20
Tuition fee - see Detailed information
Stay abroad:
Not compulsory
Type of higher education institution:
published in the:
MBl. 2006/07, Stk. 33 (Nr. 197), i.d.F. MBl. 2008/09, Stk. 2 (Nr. 13), MBl. 2009/10, Stk. 42 (Nr. 331) und Stück 54 (Nr. 480), MBl. 2011/12, Stk. 27 (Nr. 276)

Definition of the field of studies

Computer Sciences deals with the basics, technology and applications of systematic and automated information processing. It provides methods and tools to deal with complex systems in natural sciences, technology and other areas of human life and employs both mathematical-formal and engineering-related methods.


The master’s programme concludes with an examination before a panel. This examination lasts approximately 45 minutes; one third of the examination time is dedicated to the presentation of the master’s thesis. After the presentation subject-specific questions related to the master's thesis must be answered.

Entrance examinations


Supplementary examinations