Hochschulstudien Informatik (E)

Universität Innsbruck

Ziel des Studiums ist eine solide wissenschaftliche Ausbildung in Informatik, die Expertisen und die Anwendung von erlernten Methoden zur Problemlösung ermöglicht. Dazu werden Schlüsselkompetenzen wie Abstraktion, Formalisierung und kritische Auseinandersetzung mit der gegebenen Aufgabe vermittelt und trainiert. Die AbsolventInnen werden sowohl befähigt selbstständig und projektorientiert zu arbeiten, als auch entlang des gesamten Prozesses professionell Lösungen zu erarbeiten und zu präsentieren. Dieses Masterstudium zeichnet sich durch große Wahlmöglichkeiten aus. So dient als Grundlage einzig das verpflichtende Modul „Spezifikation und Verifikation“, dass Lehrveranstaltungen zu Logik, formaler Spezifikation und eine Einführung in Model Checking enthält. Des Weiteren können aus dem folgenden Angebot an Blöcken jeweils zwei Module ausgewählt werden. Modulblock 1: Parallele Systeme und fortgeschrittene verteilte Systeme, Fortgeschrittene Rechnersysteme, Quanteninformation und Quantencomputer, Semantische Systeme. Modulblock 2: Datenbanken und Informationssysteme, Informationssicherheit, Ausgewählte Kapitel der Verifikation.

Master of Science, MSc

4 Semester / 120 ECTS