15.04.2011

Lehrangebot der Fakultät Informatik für den Master-Studiengang Informatik
(Sommersemester 2011)

Basismodule

INF-BAS1 Angewandte Informatik

Lehrveranstaltung SWS Dozent Institut

INF-BAS2 Künstliche Intelligenz

Lehrveranstaltung SWS Dozent Institut
Bildverarbeitung 2/2/0 Dr. Schlesinger KI
Mustererkennung 2/2/0 Dr. Schlesinger KI
Wissensentdeckung und Maschinelles Lernen 2/2/0 Doz. Dr. Petersohn KI

INF-BAS3 Software- und Web-Engineering

Lehrveranstaltung SWS Dozent Institut
Hauptseminar Software Engineering Ubiquitärer Systeme 0/2/0 Jun.-Prof. Schlegel SMT
Komplexpraktikum Software Engineering Ubiquitärer Systeme 0/0/4 Jun.-Prof. Schlegel SMT

INF-BAS4 Systemarchitektur

Lehrveranstaltung SWS Dozent Institut
Datenintegration und Analyse 2/0/0 Prof. Lehner SyA
Distributed Operating Systems 2/1/0 Prof. Härtig SyA
Foundations of Concurrent and Distributed Systems 4/0/0 Prof. Fetzer SyA
Internet and Web Applications 2/2/0 Prof. Schill SyA
Kryptographie und -analyse 2/0/0 Dr. Franz SyA
Multimediakommunikation 2/2/0 Dr. Schuster SyA
Microkernel-Construction 2/0/0 Prof. Härtig
Dipl.-Inf. Frenzel		 SyA
Quantitative Methoden der Betriebssysteme-Konstruktion 2/1/0 Dr. Hamann SyA
Reading Group Operating Systems 0/2/0 Prof. Härtig
Dipl.-Inf. Döbel		 SyA
Security and Cryptography II 2/2/0 N.N. SyA
Software Fault Tolerance 2/2/0 Prof. Fetzer SyA
WebScale 2/0/0 Prof. Lehner SyA
Wireless Sensor Networks 2/2/0 Dr. Dargie SyA

INF-BAS5 Technische Informatik

Lehrveranstaltung SWS Dozent Institut

INF-BAS6 Theoretische Informatik

Lehrveranstaltung SWS Dozent Institut
Advanced Logics 4/2/0 Prof. Baier ThI
Advanced Topics on Weighted Tree Automata 2/2/0 Prof. Vogler ThI
Category Theory for Computer Science 2/2/0 Dr. Posegga ThI
Description Logic 4/2/0 Dr. Turhan ThI
Funktionale Programmierung und Typtheorie 2/2/0 Dr. Sturm ThI
Fuzzy Logic 2/1/0 Dr. Penaloza ThI
Verarbeitung natürlicher Sprache — Übersetzungsmodelle 2/2/0 Prof. Vogler
Dipl.-Inf. Dietze		 ThI

INF-BAS7 Grafische Datenverarbeitung

Lehrveranstaltung SWS Dozent Institut
Bildverarbeitung 2/2/0 Dr. Schlesinger KI
Mustererkennung 2/2/0 Dr. Schlesinger KI

INF-BAS8 Anwendungsfach

Lehrveranstaltung SWS Dozent Institut

Vertiefungsmodule

INF-VERT1 Angewandte Informatik

Lehrveranstaltung SWS Dozent Institut
Angewandte Zeitreihenanalyse 2/2/0 Dr. Ribbecke AI
Drahtgebundene und drahtlose Sensor-Aktor-Netzwerke 4/0/0 Prof. Kabitzsch
Dr. Plönnings		 AI
Ethernet-basierte Systeme in der Industrie 2/0/2 Prof. Wollschlaeger AI
Gerätebeschreibungstechnik und Fachsprachen 2/0/0 Prof. Wollschlaeger AI
Industrielle Kommunikationssysteme 2/0/2 Prof. Wollschlaeger AI
Informationsmodelle in der Automation 2/0/0 Prof. Wollschlaeger AI
Monitoring und Diagnose 2/0/0 Prof. Kabitzsch AI
Multimodale Benutzungsoberflächen 2/2/0 Prof. Weber AI
Praktikum Simulationsanwendungen 0/0/2 Prof. Rose AI
Praktikum Technische Informationssysteme 0/0/2 Prof. Kabitzsch AI
Softwareentwicklung für Echtzeitsteuerungen II 2/0/0 Dr. Ribbecke AI

INF-VERT2 Künstliche Intelligenz

Lehrveranstaltung SWS Dozent Institut
Bildverarbeitung 2/2/0 Dr. Schlesinger KI
Mustererkennung 2/2/0 Dr. Schlesinger KI

INF-VERT3 Software- und Web-Engineering

Lehrveranstaltung SWS Dozent Institut
Hauptseminar Software Engineering Ubiquitärer Systeme 0/2/0 Jun.-Prof. Schlegel SMT
Komplexpraktikum Software Engineering Ubiquitärer Systeme 0/0/4 Jun.-Prof. Schlegel SMT
Web & Multimedia Engineering 2/2/0 Prof. Meißner SMT

INF-VERT4 Systemarchitektur

Lehrveranstaltung SWS Dozent Institut
Angewandte Sotware-Verifikation mit einem interaktiven Theorembeweiser 1/1/0 Dr. Tews SyA
Architektur von Datenbanksystemen 0/4/0 Prof. Lehner SyA
Datenintegration und Analyse 2/0/0 Prof. Lehner SyA
Distributed Operating Systems 2/1/0 Prof. Härtig SyA
Foundations of Concurrent and Distributed Systems 4/0/0 Prof. Fetzer SyA
Internet and Web Applications 2/2/0 Prof. Schill SyA
Kryptographie und -analyse 2/0/0 Dr. Franz SyA
Multimediakommunikation 2/2/0 Dr. Schuster SyA
Microkernel-Construction 2/0/0 Prof. Härtig
Dipl.-Inf. Frenzel		 SyA
Quantitative Methoden der Betriebssysteme-Konstruktion 2/1/0 Dr. Hamann SyA
Reading Group Operating Systems 0/2/0 Prof. Härtig
Dipl.-Inf. Döbel		 SyA
Security and Cryptography II 2/2/0 N.N. SyA
Software Fault Tolerance 2/2/0 Prof. Fetzer SyA
WebScale 2/0/0 Prof. Lehner SyA
Wireless Sensor Networks 2/2/0 Dr. Dargie SyA

INF-VERT5 Technische Informatik

Lehrveranstaltung SWS Dozent Institut
Hochleistungsrechner und ihre Programmierung II 2/2/0 Prof. Nagel TeI
Struktur und Operationsprinzip von Prozessoren 2/0/0 Prof. Nagel
Dipl.-Ing. Juckeland		 TeI
Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen 2/0/0 Prof. Nagel
Dipl.-Inf. Georgi		 TeI

INF-VERT6 Theoretische Informatik

Lehrveranstaltung SWS Dozent Institut
Advanced Logics 4/2/0 Prof. Baier ThI
Advanced Topics on Weighted Tree Automata 2/2/0 Prof. Vogler ThI
Angewandte Sotware-Verifikation mit einem interaktiven Theorembeweiser 1/1/0 Dr. Tews SyA
Category Theory for Computer Science 2/2/0 Dr. Posegga ThI
Description Logic 4/2/0 Dr. Turhan ThI
Funktionale Programmierung und Typtheorie 2/2/0 Dr. Sturm ThI
Fuzzy Logic 2/1/0 Dr. Penaloza ThI
Verarbeitung natürlicher Sprache — Übersetzungsmodelle 2/2/0 Prof. Vogler
Dipl.-Inf. Dietze		 ThI

INF-VERT7 Grafische Datenverarbeitung

Lehrveranstaltung SWS Dozent Institut
Bildverarbeitung 2/2/0 Dr. Schlesinger KI
Mustererkennung 2/2/0 Dr. Schlesinger KI

Profilmodule

Die Profilmodule werden zwischen den Studenten und den Instituten und Professuren individuell abgestimmt, ein Lehrveranstaltungskatalog wird nicht veröffentlicht.

Pflichtbereich

INF-AQUA Allgemeine Qualifikation

Die Veranstaltungsliste für das Modul AQua wird kurzfristig hier veröffentlicht.

INF-MA-PR Master-Praktikum

Lehrveranstaltung SWS Dozent Institut
Komplexpraktikum Anwendung von SAT-Solvern 0/0/4 Prof. Hölldobler KI
Komplexpraktikum Concurrent and Distributed Systems 0/0/4 Prof. Fetzer SyA
Komplexpraktikum DB-Anwendungsentwicklung 0/0/4 Prof. Lehner SyA
Komplexpraktikum DB-Infrastrukturen 0/0/4 Prof. Lehner SyA
Komplexpraktikum DB-Systemarchitektur 0/0/4 Prof. Lehner SyA
Komplexpraktikum Entwicklung mobiler und verteilter Systeme 0/0/4 Dr. Springer SyA
Komplexpraktikum Kryptographie und Datensicherheit 0/0/4 Dr. Clauß
Dr. Köpsell		 SyA
Komplexpraktikum Prozesskommunikation 0/0/4 Prof. Wollschlaeger AI
Komplexpraktikum Simulationsprojekt 0/0/4 Prof. Rose AI
Komplexpraktikum Software Engineering Ubiquitärer Systeme 0/0/4 Jun.-Prof. Schlegel SMT
Komplexpraktikum Systems Engineering 0/0/4 Prof. Fetzer SyA
Komplexpraktikum Technische Informationssysteme 0/0/4 Prof. Kabitzsch AI
Komplexpraktikum Theoretische Informatik 0/0/8 Dr. Sturm
Dipl.-Math. Distel		 ThI
Übersetzen natürlicher Sprache – Grundpraktikum -/-/4 Prof. Vogler ThI
Übersetzen natürlicher Sprache – Ergänzungspraktikum -/-/4 Prof. Vogler ThI
Hinweise:
 1 englische Version der LV "Einführung in die Simulation" aus dem Wintersemester. Nur eine von beiden Veranstaltungen darf eingebracht werden.