Sommersemester 2013

Version vom 26.03.2013

Master Studiengang Informatik

Studienablaufplan Master Informatik

Basismodule

INF-BAS2 Künstliche Intelligenz


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Bildanalyse
 0/2/0
 Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich
 KI
Knowledge Representation and Reasoning
 0/2/0
 Prof. Dr. Hölldobler
 KI
Bildverarbeitung
 2/2/0
 Dr. Schlesinger
 KI
Mustererkennung
 2/2/0
 Dr. Schlesinger
 KI
Maschinelles Lernen in der Sprachverarbeitung
 2/2/0
 Prof. Dr. Vogler, Dr. Stüber
 ThI
Neural Symbolic Integration
 2/2/0
 Prof. Dr. Hölldobler
 KI
Foundations of Semantic Web Technologies
 4/2/0
 Prof. Rudolph
 KI

INF-BAS4 Systemarchitektur


Lehrveranstaltung
 SWS
 Dozent
 Institut
Reading Group Operating Systems
 0/2/0
 Prof. Dr. Härtig, Dipl.-Inf. Döbel
 SyA
Systems Engineering I
 2/2/0
 Prof. Dr. Fetzer
 SyA
Systems Engineering II
 2/2/0
 Prof. Dr. Fetzer
 SyA
Distributed Operating Systems
 2/1/0
 Prof. Dr. Härtig
 SyA
Internet and Web Applications
 2/2/0
 Prof. Dr. Schill
 SyA
Kryptographie und -analyse
 2/1/0
 Dr. Franz
 SyA
Microkernel Construction
 2/0/0
 Prof. Dr. Härtig, Dipl.-Inf. Engel
 SyA
Multimediakommunikation
 2/2/0
 Prof. Dr. Schill, Dr. Schuster
 SyA
Security and Cryptography II
 2/2/0
 Dr. Köpsell
 SyA
Software Fault Tolerance
 2/2/0
 Prof. Dr. Fetzer
 SyA
Wireless Sensor Networks
 2/2/0
 Prof. Dr. Schill, Dr. Dargie
 SyA
Architektur von Datenbanksystemen
 4/0/0
 Prof. Dr. Lehner
 SyA
Schedulingtheorie
 2/0/0
 Prof. Dr. Härtig, Dr. Hamann
 SyA

INF-BAS6 Theoretische Informatik


Lehrveranstaltung
 SWS
 Dozent
 Institut
Fuzzy Description Logic
 2/2/0
 Prof. Dr. Baader, Dr. Distel
 ThI
Advanced Logic
 4/2/0
 Prof. Dr. Baier
 ThI
Weighted Tree Automata
 4/2/0
 Prof. Dr. Vogler
 ThI
Automata and Logic
 4/2/0
 Prof. Dr. Baader, Dr. Penaloza
 ThI
Funktionale Programmierung und Typtheorie
 2/2/0
 Prof. Dr. Baader, Dr. Sturm
 ThI
Maschinelles Lernen in der Sprachverarbeitung
 2/2/0
 Prof. Dr. Vogler, Dr. Stüber
 ThI
Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen
 2/0/0
 Prof. Dr. Vogler
 ThI

INF-BAS7 Grafische Datenverarbeitung


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Bildanalyse
 0/2/0
 Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich
 KI
Hauptseminar Graphische Datenverarbeitung
 0/2/0
 Prof. Dr. Gumhold, Dr. Mascolus
 SMT
Bildverarbeitung
 2/2/0
 Dr. Schlesinger
 KI
C++-Programmierung für Computergraphik
 1/1/0
 Prof. Dr. Gumhold
 SMT

INF-BAS8 Anwendungsfach

Alle angebotenen Anwendungsfächer und ihre Spezifikationen sind auf den Webseiten der Fakultät zu finden.

Vertiefungsmodule

INF-VERT1 Angewandte Informatik


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Technische Informationssysteme
 0/2/0
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
Komplexpraktikum Technische Informationssysteme
 0/0/4
 Prof. Dr. Kabitzsch
 AI
Praktikum Technische Informationssysteme
 0/0/2
 Prof. Dr. Kabitzsch
 AI
Proseminar Technische Informationssysteme
 0/2/0
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
Angewandte Zeitreihenanalyse
 2/0/0
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
Drahtgebundene und drahtlose Sensor-Aktor-Netzwerke
 4/0/0
 Prof. Dr. Kabitzsch
 AI
Ethernet-basierte Systeme in der Industrie
 2/0/2
 Prof. Dr. Wollschlaeger
 AI
Industrielle Kommunikationssysteme
 2/0/2
 Prof. Dr. Wollschlaeger
 AI
Informationsmodelle in der Automation
 2/0/0
 Prof. Dr. Wollschlaeger
 AI
Monitoring und Diagnose
 2/0/0
 Prof. Dr. Kabitzsch
 AI
Quantitative Methoden zur Qualitätssicherung
 2/0/0
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
Ressourceneinsatzplanung in Fertigungssystemen
 2/2/0
 Dr. Laroque
 AI
Softwareentwicklung für Echtzeitsteuerungen II
 2/0/0
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI

INF-VERT2 Künstliche Intelligenz


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Bildanalyse
 0/2/0
 Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich
 KI
Knowledge Representation and Reasoning
 0/2/0
 Prof. Dr. Hölldobler
 KI
Bildverarbeitung
 2/2/0
 Dr. Schlesinger
 KI
Mustererkennung
 2/2/0
 Dr. Schlesinger
 KI
Neural Symbolic Integration
 2/2/0
 Prof. Dr. Hölldobler
 KI
Foundations of Semantic Web Technologies
 4/2/0
 Prof. Rudolph
 KI

INF-VERT3 Software- und Web-Engineering


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Software Engineering Ubiquitärer Systeme (SEUS)
 0/2/0
 Jun.-Prof. Dr. Schlegel
 SMT
Komplexpraktikum Interaktive Multimediale Technologien
 0/0/4
 Prof. Dr. Dachselt
 SMT
Komplexpraktikum Softwaretechnologie
 0/0/4
 Prof. Dr. Aßmann, Dr. Richly
 SMT
Advanced User Interfaces
 2/2/0
 Prof. Dr. Dachselt
 SMT
Component Based Software Engineering
 2/2/0
 Prof. Dr. Aßmann
 SMT
Hauptseminar Advanced User Interfaces
 0/2/0
 Prof. Dr. Dachselt
 SMT
Komplexpraktikum Software Engineering Ubiquitärer Systeme (SEUS)
 0/0/4
 Jun.-Prof. Dr. Schlegel
 SMT
Ausgewählte Kapitel der Softwaretechnologie
 2/0/0
 Prof. Dr. Aßmann, Dr. Richly
 SMT
Komplexpraktikum Entwicklungsprozesse für Ubiquitäre Systeme (EUS)
 0/0/4
 Jun.-Prof. Dr. Schlegel
 SMT
Interaktive Informationsvisualisierung
 2/2/0
 Prof. Dr. Dachselt
 SMT
Forschungskolleg Softwaretechnologie
 1/1/0
 Prof. Dr. Aßmann, Dr. Demuth, M.A. Demuth
 SMT, PHIL

INF-VERT4 Systemarchitektur


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Datenbanken
 0/2/0
 Prof. Dr. Lehner
 SyA
Reading Group Operating Systems
 0/2/0
 Prof. Dr. Härtig, Dipl.-Inf. Döbel
 SyA
Systems Engineering I
 2/2/0
 Prof. Dr. Fetzer
 SyA
Systems Engineering II
 2/2/0
 Prof. Dr. Fetzer
 SyA
Distributed Operating Systems
 2/1/0
 Prof. Dr. Härtig
 SyA
Internet and Web Applications
 2/2/0
 Prof. Dr. Schill
 SyA
Kryptographie und -analyse
 2/1/0
 Dr. Franz
 SyA
Microkernel Construction
 2/0/0
 Prof. Dr. Härtig, Dipl.-Inf. Engel
 SyA
Multimediakommunikation
 2/2/0
 Prof. Dr. Schill, Dr. Schuster
 SyA
Security and Cryptography II
 2/2/0
 Dr. Köpsell
 SyA
Software Fault Tolerance
 2/2/0
 Prof. Dr. Fetzer
 SyA
Wireless Sensor Networks
 2/2/0
 Prof. Dr. Schill, Dr. Dargie
 SyA
Architektur von Datenbanksystemen
 4/0/0
 Prof. Dr. Lehner
 SyA
Schedulingtheorie
 2/0/0
 Prof. Dr. Härtig, Dr. Hamann
 SyA
Forschungskolleg Datenbanken
 2/2/0
 Prof. Dr. Lehner
 SyA

INF-VERT5 Technische Informatik


Lehrveranstaltung
 SWS
 Dozent
 Institut
Komplexpraktikum Prozessorentwurf
 0/0/4, 0/0/8
 Prof. Dr. Spallek, Dr. Zabel
 TeI
Computertechnik
 2/2/0
 Prof. Dr. Spallek, Dr. Köhler
 TeI
Hochleistungsrechner und ihre Programmierung II
 2/2/0
 Prof. Dr. Nagel
 TeI
Modellierung und Simulation in der Technischen Informatik
 2/0/0
 Prof. Dr. Spallek, Prof. Straube
 TeI
Programmierbare Schaltkreise
 2/2/0
 Prof. Dr. Spallek, Dr. Zabel
 TeI
Schaltkreis- und Systementwurf
 2/2/0
 Prof. Dr. Spallek, Dr. Preußer
 TeI
Struktur und Operationsprinzip von Prozessoren
 2/0/0
 Prof. Dr. Nagel
 TeI
Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen
 2/0/0
 Prof. Dr. Nagel
 TeI
Electronic System Level Modelling
 2/2/0
 Prof. Pionteck
 TeI

INF-VERT6 Theoretische Informatik


Lehrveranstaltung
 SWS
 Dozent
 Institut
Fuzzy Description Logic
 2/2/0
 Prof. Dr. Baader, Dr. Distel
 ThI
Advanced Logic
 4/2/0
 Prof. Dr. Baier
 ThI
Weighted Tree Automata
 4/2/0
 Prof. Dr. Vogler
 ThI
Automata and Logic
 4/2/0
 Prof. Dr. Baader, Dr. Penaloza
 ThI
Funktionale Programmierung und Typtheorie
 2/2/0
 Prof. Dr. Baader, Dr. Sturm
 ThI
Maschinelles Lernen in der Sprachverarbeitung
 2/2/0
 Prof. Dr. Vogler, Dr. Stüber
 ThI
Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen
 2/0/0
 Prof. Dr. Vogler
 ThI

INF-VERT7 Graphische Datenverarbeitung


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Bildanalyse
 0/2/0
 Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich
 KI
Hauptseminar Graphische Datenverarbeitung
 0/2/0
 Prof. Dr. Gumhold, Dr. Mascolus
 SMT
Bildverarbeitung
 2/2/0
 Dr. Schlesinger
 KI
Computergraphik II
 2/2/0
 Prof. Dr. Gumhold
 SMT
Interaktive Informationsvisualisierung
 2/2/0
 Prof. Dr. Dachselt
 SMT

Wahlpflichtmodule

Zusätzlich zu den in der Tabelle aufgeführten Lehrveranstaltungen können, nach Absprache mit dem zuständigen Lehrstuhl, Veranstaltungen aus den verschiedenen Vertiefungsmodulen (INF-VERT*) belegt werden.

INF-PM-FOR Grundlagenforschung


Lehrveranstaltung
 SWS
 Dozent
 Institut
Fuzzy Description Logic
 2/2/0
 Prof. Dr. Baader, Dr. Distel
 ThI
Hauptseminar Datenbanken
 0/2/0
 Prof. Dr. Lehner
 SyA
Advanced Logic
 4/2/0
 Prof. Dr. Baier
 ThI
Computertechnik
 2/2/0
 Prof. Dr. Spallek, Dr. Köhler
 TeI
Internet and Web Applications
 2/2/0
 Prof. Dr. Schill
 SyA
Modellierung und Simulation in der Technischen Informatik
 2/0/0
 Prof. Dr. Spallek, Prof. Straube
 TeI
Multimediakommunikation
 2/2/0
 Prof. Dr. Schill, Dr. Schuster
 SyA
Ressourceneinsatzplanung in Fertigungssystemen
 2/2/0
 Dr. Laroque
 AI
Schaltkreis- und Systementwurf
 2/2/0
 Prof. Dr. Spallek, Dr. Preußer
 TeI
Wireless Sensor Networks
 2/2/0
 Prof. Dr. Schill, Dr. Dargie
 SyA
Maschinelles Lernen in der Sprachverarbeitung
 2/2/0
 Prof. Dr. Vogler, Dr. Stüber
 ThI
Forschungskolleg Datenbanken
 2/2/0
 Prof. Dr. Lehner
 SyA

INF-PM-ANW Anwendungsforschung


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Datenbanken
 0/2/0
 Prof. Dr. Lehner
 SyA
Datenbankprogrammierung
 1/1/0
 Prof. Dr. Lehner
 SyA
Internet and Web Applications
 2/2/0
 Prof. Dr. Schill
 SyA
Kryptographie und -analyse
 2/1/0
 Dr. Franz
 SyA
Multimediakommunikation
 2/2/0
 Prof. Dr. Schill, Dr. Schuster
 SyA
Ressourceneinsatzplanung in Fertigungssystemen
 2/2/0
 Dr. Laroque
 AI
Security and Cryptography II
 2/2/0
 Dr. Köpsell
 SyA
Wireless Sensor Networks
 2/2/0
 Prof. Dr. Schill, Dr. Dargie
 SyA
Forschungskolleg Datenbanken
 2/2/0
 Prof. Dr. Lehner
 SyA
Entwurf, Test und Analyse vernetzter Anwendersysteme (Theoretische Grundlagen)
 2/2/0
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI

INF-PM-FPG Forschungsprojekt Grundlagen


Lehrveranstaltung
 SWS
 Dozent
 Institut
Komplexpraktikum Prozesskommunikation
 0/0/4
 Prof. Dr. Wollschlaeger
 AI
Grundlagenforschung Formale Methoden (Praktika und Projektarbeiten)
 8P/PB
 Prof. Dr. Baier
 ThI
Forschungspraktikum Datenbank-Grundlagen
 8P/PB
 Prof. Dr. Lehner
 SyA
Complex Lab: SAT Solving
 0/0/4
 Prof. Dr. Hölldobler, Dipl.-Inf. Steinke
 KI
Forschungsprojekt Verarbeitung natürlicher Sprachen
 8P/PB
 Prof. Dr. Vogler
 ThI
Forschungsprojekt Theoretical Computer Science
 8P/PB
 Prof. Dr. Baader, Dr. Penaloza
 ThI

INF-PM-FPA Forschungsprojekt Anwendung


Lehrveranstaltung
 SWS
 Dozent
 Institut
Komplexpraktikum Prozesskommunikation
 0/0/4
 Prof. Dr. Wollschlaeger
 AI
Anwendungsforschung Formale Methoden (Praktika und Projektarbeiten)
 8P/PB
 Prof. Dr. Baier
 ThI
Anwendungsforschung Datenschutz und Datensicherheit
 8P/PB
 N.N.
 SyA
Forschungspraktikum Datenbank-Grundlagen
 8P/PB
 Prof. Dr. Lehner
 SyA
Entwurf, Test und Analyse vernetzter Anwendersysteme (Praktika und Projektarbeiten)
 8P/PB
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI

Pflichtbereich

INF-AQUA Allgemeine Qualifikation


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Master-Niveau
Hauptseminar Rechnerarchitektur und Programmierung
 0/2/0
 Prof. Dr. Nagel
 TeI
 ja
Hauptseminar Software Engineering Ubiquitärer Systeme (SEUS)
 0/2/0
 Jun.-Prof. Dr. Schlegel
 SMT
 ja
Hauptseminar Technische Informatik
 0/2/0
 Prof. Dr. Spallek
 TeI
 ja
Hauptseminar Technische Informationssysteme
 0/2/0
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
 ja
Hauptseminar Technischer Datenschutz
 0/2/0
 Dr. Clauß
 SyA
 ja
Proseminar Technische Informationssysteme
 0/2/0
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
 ja
Seminar Theoretical Computer Science
 0/2/0
 Prof. Dr. Baader, Dr. Turhan
 ThI
 ja
Hauptseminar Service and Cloud Computing
 0/2/0
 Prof. Dr. Schill, Dr. Braun
 SyA
 ja
Hauptseminar Mobile and Ubiquitous Computing
 0/2/0
 Prof. Dr. Schill, Dr. Springer
 SyA
 ja
Trustworthy and Energy-Efficient Smart Grids
 0/2/0
 Dr. Franz, Prof. Fonseca
 SyA
 ja
Einführung in das Datenschutzrecht
 2/0/0
 Dr. Wagner
 SyA
 ja
Hauptseminar Advanced User Interfaces
 0/2/0
 Prof. Dr. Dachselt
 SMT
 ja
Hauptseminar Current Topics in Dependable Systems
 0/2/0
 Prof. Dr. Fetzer
 SyA
 ja
Informatik und Gesellschaft
 2/0/0
 Dr. Köpsell
 SyA
 ja
Seminar Model Checking
 0/2/0
 Prof. Dr. Baier, Dr. Klüppelholz
 ThI
 ja
Komplexpraktikum OUTPUT.DD
 0/0/4
 Prof. Dr. Groh
 SMT
 ja
Barrierefreie Literaturerstellung
 2/0/0
 Prof. Dr. Weber
 AI
 ja
Grundlagenkenntnisse BWL/VWL - erfolgreich ins Berufsleben
 2/0/0
 Dipl.-Kfm. Herrmann
 SyA
 ja
C++-Programmierung für Computergraphik
 1/1/0
 Prof. Dr. Gumhold
 SMT
 ja
Internetrecht
 2/0/0
 Dr. jur. Wündisch
 SMT
 nein

INF-MA-PR Master-Praktikum


Lehrveranstaltung
 SWS
 Dozent
 Institut
Komplexpraktikum Bildverarbeitung für 3D Displays
 0/0/4
 Dr. Schlesinger, Dipl.-Phys. Heidrich
 KI
Komplexpraktikum Interaktive Multimediale Technologien
 0/0/4
 Prof. Dr. Dachselt
 SMT
Komplexpraktikum Internet Information Retrieval
 0/0/4
 Prof. Dr. Schill, Dr. Schuster, Dr. Springer
 SyA
Komplexpraktikum Kryptographie und Datensicherheit
 0/0/4
 Dr. Clauß, Dr. Köpsell
 SyA
Komplexpraktikum Mensch-Computer Interaktion
 0/0/4
 Prof. Dr. Weber
 AI
Komplexpraktikum Mobile and Ubiquitous Computing
 0/0/4
 Prof. Dr. Schill, Dr. Springer
 SyA
Komplexpraktikum Multimodale Interaktion
 0/0/4
 Prof. Dr. Weber
 AI
Komplexpraktikum Prozessorentwurf
 0/0/4, 0/0/8
 Prof. Dr. Spallek, Dr. Zabel
 TeI
Komplexpraktikum Service and Cloud Computing
 0/0/4
 Prof. Dr. Schill, Dr. Braun, Dr. Springer
 SyA
Komplexpraktikum Theoretische Informatik
 0/0/4, 0/0/8
 Prof. Dr. Baader, Dr. Penaloza
 ThI
Praktikum Bildverarbeitung
 0/0/2
 Dr. Schlesinger, Dipl.-Phys. Heidrich
 KI
Komplexpraktikum Model Checking
 0/0/4, 0/0/8
 Prof. Dr. Baier, Dr. Klüppelholz
 ThI
Lab: Systems Engineering
 0/0/4
 Prof. Dr. Fetzer
 SyA
Praktikum Haskell für NLP
 0/0/4
 Prof. Dr. Vogler, Dipl.-Inf. Dietze
 ThI
Komplexpraktikum Eingebettete Systeme
 0/0/4
 Prof. Pionteck
 TeI
Complex Lab: SAT Solving
 0/0/4
 Prof. Dr. Hölldobler, Dipl.-Inf. Steinke
 KI


Sommersemester 2013