Sommersemester 2013

Version vom 09.07.2013

Diplom Studiengang Informatik (Studienordnung 2010)

2. Semester

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Programmierung	INF-D-230	2/2/0	Prof. Dr. Vogler	ThI
Softwaretechnologie	INF-D-240	2/2/0	Prof. Dr. Aßmann	SMT
Informations- und Kodierungstheorie	INF-D-310	2/1/0	Dr. Schönfeld	SyA
Rechnerarchitektur II	INF-B-330	2/2/0	Prof. Dr. Nagel	TeI
Hardwarepraktikum	INF-D-420	0/0/3	Prof. Pionteck	TeI

4. Semester

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Datenbanken - Grundlagen	INF-D-270	2/2/0	Prof. Dr. Lehner	SyA
Rechnernetze	INF-D-270	2/2/0	Prof. Dr. Schill	SyA
Theoretische Informatik und Logik	INF-D-330	4/2/0	Prof. Dr. Hölldobler, Prof. Dr. Baier	KI, ThI
Forschungslinie	INF-D-910	2/2/0	Studiendekan	INF

INF-D-520 Allgemeine Basisqualifikation

Lehrveranstaltung	SWS	Dozent	Institut
Proseminar Datenschutz in der Anwendungsentwicklung	0/2/0	Dr. Borcea-Pfitzmann	SyA
Proseminar Mobile and Ubiquitous Computing	0/2/0	Prof. Dr. Schill, Dr. Springer	SyA
Proseminar Rechnerarchitektur	0/2/0	Prof. Dr. Nagel	TeI
Proseminar Service and Cloud Computing	0/2/0	Prof. Dr. Schill, Dr. Braun	SyA
Proseminar Technische Informatik	0/2/0	Prof. Dr. Spallek	TeI
Proseminar Technische Informationssysteme	0/2/0	Dr. Ribbecke	AI
Proseminar Ausgewählte Themen der Automatentheorie und Logik	0/2/0	Prof. Dr. Baier, Dr. Klüppelholz	ThI
Proseminar Betriebssysteme	0/2/0	Prof. Dr. Härtig	SyA
Proseminar Kryptographische Grundlagen der Datensicherheit	0/2/0	Dr. Köpsell	SyA
Proseminar Sicherheit in Computersystemen	0/2/0	Dr. Clauß	SyA
Proseminar Softwaretechnologie	0/2/0	Prof. Dr. Aßmann, Dr. Demuth	SMT
Proseminar Systems Engineering	0/2/0	Prof. Dr. Fetzer	SyA
Proseminar Ausgewählte Themen der Theoretischen Informatik	0/2/0	Prof. Dr. Baader, Dr. Sturm	ThI
Internetrecht	2/0/0	Dr. jur. Wündisch	SMT

6. Semester

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

8. Semester

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

INF-PM-FOR Grundlagenforschung

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. tabref 15

INF-PM-ANW Anwendungsforschung

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

INF-D-940 Berufsspezifische Schlüsselkompetenzen

Lehrveranstaltung	SWS	Dozent	Institut
Echtzeit-AG	0/1/0	Prof. Dr. Härtig	SyA
Hauptseminar Bildanalyse	0/2/0	Dr. Rother	KI
Hauptseminar Technische Informationssysteme	0/2/0	Dr. Ribbecke	AI
Hauptseminar Technischer Datenschutz	0/2/0	Dr. Clauß	SyA
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
Praktikum Haskell für NLP	0/0/4	Prof. Dr. Vogler, Dipl.-Inf. Dietze	ThI
Internetrecht	2/0/0	Dr. jur. Wündisch	SMT

Zudem ist im 8. Semester 1 von 2 Proflilmodulen zu wählen:

INF-PM-FOR - Grundlagenforschung
INF-PM-ANW - Anwendungsforschung

Sommersemester 2013