Compulsory Module 5: Specialisation Module (20 ECTS-Credits)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module have in-depth knowledge in one or several sub areas of computer science. They familiarised themselves with current problems of these sub areas and methods for the solution thereof.
Courses amounting to a total of 20 ECTS-CP, available at the Faculty for Mathematics, Computer Sciences and Physics at the University of Innsbruck labelled with the addition VMI (Vertiefungsmodul Master Informatik). It is recommended to take classes dealing with gender aspects of mathematics, computer science and physics.
Go to the superordinate section
VU Mathematical Logic (VU / 3h / 5 ECTS-AP)
Georg Moser
Details of this course
SE Online Communication (SE / 2h / 4 ECTS-AP)
Dieter Fensel
Details of this course
VU Selected Topics in Term Rewriting (VU / 3h / 6 ECTS-AP)
Aart Middeldorp
Details of this course
VO Decision Procedures (VO / 3h / 6 ECTS-AP)
Aart Middeldorp, René Thiemann
Details of this course
PS Decision Procedures (PS / 2h / 4 ECTS-AP)
Vincent van Oostrom
Details of this course
VU Optimization Methods (VU / 3h / 6 ECTS-AP)
Fedor Sergeevic Smirnov
Details of this course
VU Game Theory in Information Security (VU / 3h / 6 ECTS-AP)
Svetlana Abramova
Details of this course
VU Natural Language Processing (VU / 5h / 10 ECTS-AP)
Adam Jatowt
Details of this course
VU Embedded Systems (VU / 5h / 10 ECTS-AP)
Jan Beutel
Details of this course

  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).