Courses

For individual specialisation, modules corresponding to a maximum of 20 ECTS-Credits can be freely selected from the master¿s programmes offered at the Faculty of Mathematics, Computer Science and Physics at University of Innsbruck. The prerequisites specified in the respective curricula must be met.

Elective Module 20: Individual Choice of Specialisation (20 ECTS-Credits)

OLAT ML

198704

VU Modelling as Basis for Simulation (VU / 3h / 5 ECTS-AP)
Lukas Einkemmer, Julian Mangott

OLAT ML

703144

VU Embedded and Real-time Systems (VU / 3h / 5 ECTS-AP)
Jan Beutel

OLAT ML

703145

VU Introduction to Complexity Theory (VU / 3h / 5 ECTS-AP)
Manuel Eberl

703146

VU Performance-oriented Computing (VU / 3h / 5 ECTS-AP)
Peter Thoman

OLAT ML

703513

VU Construction and Operation of Secure Systems (VU / 3h / 5 ECTS-AP)
Alexandra Rosa Jäger, Clemens Sauerwein

703514

VU Secure Programming (VU / 3h / 5 ECTS-AP)
Rainer Böhme

703515

VU Advanced Data Management (VU / 3h / 5 ECTS-AP)
Günther Specht

OLAT ML

703516

VU Advanced Data Engineering and Analytics (VU / 3h / 5 ECTS-AP)
Adam Jatowt

OLAT ML

703519

VU Current Topics in Software Engineering 2: Serverless Cloud Application Automation (VU / 3h / 5 ECTS-AP)
Sashko Ristov

703608

VU Term Rewriting (VU / 2h / 5 ECTS-AP)
Aart Middeldorp

703609

VU Lambda Calculus and Type Theory (VU / 2h / 5 ECTS-AP)
Herman Geuvers, Niels van der Weide

Notes:

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).

Booking periods for courses