Courses

Courses

Advanced search|Reset

Es sind Module im Umfang von insgesamt 7,5 ECTS-AP zu absolvieren. Diese können aus folgenden Optionen gewählt werden: - Bachelorstudium Informatik: aus den Wahlmodulen 1 - 4, mit Ausnahme der bereits im Bachelorstudium Lehramt Sekundar-stufe UF Informatik absolvierten Module - Masterstudium Informatik: Pflichtmodul 1 oder aus den Wahlmodulen 1 - 18 - Masterstudium Software Engineering: aus den Pflichtmodulen 1 - 4

Compulsory Module 1: Advanced Computer Science (7,5 ECTS-Credits)

Prerequisites for registration: The registration requirements specified in the respective curricula must be met.

Learning Outcome: This module serves the acquisition of additional qualifications.

703083

VO Program Verification (VO / 3h / 4,5 ECTS-AP)
René Thiemann

703084

PS Program Verification (PS / 2h / 3 ECTS-AP)
René Thiemann

703085

VO Software Quality (VO / 3h / 4,5 ECTS-AP)
Harald Victor Schweiger, Peter Thoman

703086

PS Software Quality (PS / 2h / 3 ECTS-AP)
Harald Victor Schweiger

703304

VO Constraint Solving (VO / 2h / 4,5 ECTS-AP)
René Thiemann

703305

PS Constraint Solving (PS / 2h / 3 ECTS-AP)
Fabian Sebastian Mitterwallner

ML

703314

VU Logic and Learning A: Interactive Theorem Proving (VU / 3h / 5 ECTS-AP)
Cezary Kaliszyk

703315

VU Logic and Learning B: Interactive Theorem Proving in Isabelle/HOL (VU / 3h / 5 ECTS-AP)
René Thiemann

703319

SE Research Seminar in Logic and Learning: CL/TCS (SE / 2h / 5 ECTS-AP)
Georg Moser

703322

VU Selected Chapters in Secure and Distributed Computing A: Game Theory in Information Security (VU / 3h / 5 ECTS-AP)
Svetlana Abramova

703326

VU Perception, Interaction and Robotics A: Advanced Machine Learning (VU / 3h / 5 ECTS-AP)
Justus Piater

703328

VU Selected Chapters in Perception, Interaction and Robotics A: Computer Vision (VU / 3h / 5 ECTS-AP)
Justus Piater

703331

SE Research Seminar in Perception, Interaction and Robotics: IGS/IIS (SE / 2h / 5 ECTS-AP)
Matthias Harders

703334

VU Special Topics 2: Recommender Systems (VU / 3h / 5 ECTS-AP)
Eva Zangerle

703342

VU Special Topics 5: Semantic Web (VU / 3h / 5 ECTS-AP)
Dieter Fensel, Umutcan Serles

703343

SE Research Seminar: Semantic Web (SE / 2h / 5 ECTS-AP)
Dieter Fensel, Umutcan Serles

ML

703347

SE Research Seminar: Information Retrieval (SE / 2h / 5 ECTS-AP)
Günther Specht

ML

703349

VU Logic and Learning A: Advanced Machine Learning (VU / 3h / 5 ECTS-AP)
Justus Piater

703356

VU Selected Chapters in Secure and Distributed Computing B: Distributed Learning (VU / 3h / 5 ECTS-AP)
Juan Aznar Poveda

703359

VU Selected Topics in Logic and Learning B: Quantum Computation (VU / 3h / 5 ECTS-AP)
Georg Moser

ML

703364

SE Research Seminar in Secure and Distributed Computing: Security, Privacy, and Forensics (SE / 2h / 5 ECTS-AP)
Rainer Böhme

703371

VU Selected Chapters in Perception, Interaction and Robotics B: Mixed Reality (VU / 3h / 5 ECTS-AP)
Pascal Knierim

703607

VU Secure and Distributed Computing A: Secure and Private Computation (VU / 3h / 5 ECTS-AP)
Arnab Roy

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