Sommersemester 2013

Version vom 09.07.2013

Master Studiengang Informatik

Studienablaufplan Master Informatik

Basismodule

INF-BAS2 Künstliche Intelligenz


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Bildanalyse
 0/2/0
 Dr. Rother
 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-BAS3 Software- und Web-Engineering


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Software Engineering Ubiquitärer Systeme
 0/2/0
 Jun.-Prof. Dr. Schlegel
 SMT
Softwaremanagement
 2/2/0
 Prof. Dr. Aßmann
 SMT
Software-Reengineering
 2/0/0
 Prof. Dr. Aßmann, Hr. Sneed
 SMT

INF-BAS4 Systemarchitektur


Lehrveranstaltung
 SWS
 Dozent
 Institut
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
 2/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
 Dr. Rother
 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
 Dr. Ribbecke
 AI
Komplexpraktikum Mensch-Computer Interaktion
 0/0/4
 Prof. Dr. Weber
 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
 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
 Dr. Rother
 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
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
 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
Software-Reengineering
 2/0/0
 Prof. Dr. Aßmann, Hr. Sneed
 SMT
Komplexpraktikum Kooperative Interaktion mittels Smartphone-Sensoren
 0/0/4
 Jun.-Prof. Dr. Schlegel
 SMT

INF-VERT4 Systemarchitektur


Lehrveranstaltung
 SWS
 Dozent
 Institut
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-VERT5 Technische Informatik


Lehrveranstaltung
 SWS
 Dozent
 Institut
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
 2/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
 Dr. Rother
 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
Reading Group Operating Systems
 0/2/0
 Prof. Dr. Härtig, Dipl.-Inf. Döbel
 SyA
Advanced Logic
 4/2/0
 Prof. Dr. Baier
 ThI
Weighted Tree Automata
 2/2/0
 Prof. Dr. Vogler
 ThI
Advanced User Interfaces
 2/2/0
 Prof. Dr. Dachselt
 SMT
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

INF-PM-ANW Anwendungsforschung


Lehrveranstaltung
 SWS
 Dozent
 Institut
Hauptseminar Technischer Datenschutz
 0/2/0
 Dr. Clauß
 SyA
Reading Group Operating Systems
 0/2/0
 Prof. Dr. Härtig, Dipl.-Inf. Döbel
 SyA
Advanced User Interfaces
 2/2/0
 Prof. Dr. Dachselt
 SMT
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
Entwurf, Test und Analyse vernetzter Anwendersysteme
 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
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
Projekt Technische Informationssysteme
 0/0/4
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
Forschungsprojekt Foundations of Natural User Interfaces
 8P/PB
 Prof. Dr. Dachselt
 SMT
Forschungsprojekt VLSI-EDA
 8P/PB
 Prof. Dr. Spallek
 TeI

INF-PM-FPA Forschungsprojekt Anwendung


Lehrveranstaltung
 SWS
 Dozent
 Institut
Komplexpraktikum Multimodale Interaktion
 0/0/8
 Prof. Dr. Weber
 AI
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
Entwurf, Test und Analyse vernetzter Anwendersysteme
 8P/PB
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
Projekt Technische Informationssysteme
 0/0/4
 Prof. Dr. Kabitzsch, Dr. Ribbecke
 AI
Forschungsprojekt Internet Information Retrieval
 8P/PB
 Prof. Dr. Schill, Dr. Schuster
 SyA
Forschungsprojekt Service and Cloud Computing
 8P/PB
 Prof. Dr. Schill, Dr. Braun
 SyA
Forschungsprojekt Mobile and Ubiquitous Computing
 8P/PB
 Prof. Dr. Schill, Dr. Springer
 SyA
Forschungsprojekt Interaktive Multimediale Technologien
 8P/PB
 Prof. Dr. Dachselt
 SMT

Pflichtbereich

INF-AQUA Allgemeine Qualifikation

Die Inhalte für das Modul INF-AQUA werden kurz vor Semesterbeginn im Bereich Studium der Fakultäts-Website bekannt gegeben.


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

INF-MA-PR Master-Praktikum


Lehrveranstaltung
 SWS
 Dozent
 Institut
Komplexpraktikum Graphische Datenverarbeitung
 0/0/4
 Prof. Dr. Gumhold, Dipl.-Medieninf. Staib
 SMT
Komplexpraktikum Interaktive Multimediale Technologien
 0/0/4
 Prof. Dr. Dachselt
 SMT
7 - Komplexpraktikum Internet Information Retrieval
 0/0/4
 Prof. Dr. Schill, Dr. Schuster
 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/8
 Prof. Dr. Weber
 AI
7 - Komplexpraktikum Prozessorentwurf
 0/0/4
 Prof. Dr. Spallek, Dr. Zabel
 TeI
Komplexpraktikum Service and Cloud Computing
 0/0/4
 Prof. Dr. Schill, Dr. Braun
 SyA
Komplexpraktikum Softwaretechnologie
 0/0/4
 Prof. Dr. Aßmann, Dr. Richly
 SMT
ab 5. - Komplexpraktikum Theoretische Informatik
 0/0/4, 0/0/8
 Prof. Dr. Baader, Dr. Penaloza
 ThI
Komplexpraktikum Model Checking
 0/0/4, 0/0/8
 Prof. Dr. Baier, Dr. Klüppelholz
 ThI
Komplexpraktikum Software Engineering Ubiquitärer Systeme (SEUS)
 0/0/4
 Jun.-Prof. Dr. Schlegel
 SMT
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
Komplexpraktikum Kooperative Interaktion mittels Smartphone-Sensoren
 0/0/4
 Jun.-Prof. Dr. Schlegel
 SMT


Sommersemester 2013