Wintersemester 2013/14

Version vom 18.06.2013

Master Studiengang Informatik

Basismodule

INF-BAS1 Angewandte Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Einführung in die Angewandte Informatik	2/0/0	Prof. Dr. Wollschlaeger, Prof. Dr. Kabitzsch, Prof. Dr. Weber, Dr. Ribbecke	AI

INF-BAS2 Künstliche Intelligenz

Lehrveranstaltung	SWS	Dozent	Institut
Computer Vision	2/2/0	Dr. Rother	KI
Foundations of Logic Programming	2/1/0	Prof. Rudolph (unter Vorbehalt)	KI
Hauptseminar Bildanalyse	0/2/0	Dr. Rother	KI
Science of Computational Logic	2/2/0	Prof. Dr. Hölldobler	KI
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph (unter Vorbehalt)	KI
Machine Learning	2/2/0	Dr. Schlesinger	KI
Einführungspraktikum Computer Vision	0/0/2	Dipl.-Phys. Heidrich, Dr. Rother	KI

INF-BAS3 Software- und Web-Engineering

Lehrveranstaltung	SWS	Dozent	Institut
Design Patterns and Frameworks	2/2/0	Prof. Dr. Aßmann	SMT
Enterprise Software: Applications, Technologies, and Programming	2/0/0	Prof. Dr. Aßmann, Dr. Kubach	SMT
Hauptseminar Software Engineering Ubiquitärer Systeme	0/2/0	Jun.-Prof. Dr. Schlegel	SMT
Hauptseminar Softwaretechnologie	0/2/0	Prof. Dr. Aßmann	SMT
Mensch-Computer Interaktion	2/2/0	Prof. Dr. Weber	AI
Software Engineering ubiquitärer Systeme	2/0/0	Jun.-Prof. Dr. Schlegel	SMT
Softwareentwicklungswerkzeuge	2/2/0	Prof. Dr. Aßmann	SMT
Softwareentwicklung in der industriellen Praxis	2/0/0	Prof. Dr. Aßmann, Dr. Demuth	SMT
Softwaretechnologie II	2/2/0	Prof. Dr. Aßmann	SMT
Web- und Multimedia Engineering	2/2/0	Prof. Dr. Dachselt	SMT

INF-BAS4 Systemarchitektur

Lehrveranstaltung	SWS	Dozent	Institut
Application Development for Mobile and Ubiquitous Computing	2/2/0	Prof. Dr. Schill, Dr. Springer	SyA
Datensicherheit	2/1/0	Dr. Franz	SyA
Distributed Systems	2/2/0	Prof. Dr. Schill	SyA
Entwicklung verteilter Systeme auf Basis Serviceorientierter Architekturen	2/2/0	Prof. Dr. Schill, Dr. Braun	SyA
Kanalkodierung	2/2/0	Dr. Schönfeld	SyA
Microkernel-Based Operating Systems	2/1/0	Prof. Dr. Härtig, Dipl.-Inf. Döbel	SyA
Mobile Communication and Mobile Computing	2/0/0	Prof. Dr. Schill	SyA
Prediction and Estimation Techniques	2/2/0	Prof. Dr. Schill, Dr. Dargie	SyA
Principles of Dependable Systems	2/2/0	Prof. Dr. Fetzer	SyA
Real-Time Systems	2/1/0	Prof. Dr. Härtig	SyA
Rechnernetzpraxis	2/2/0	Prof. Dr. Schill, Dr. Feldmann	SyA
Security and Cryptography I	2/2/0	Dr. Köpsell	SyA
Steganographie und Multimedia-Forensik	2/1/0	Dr. Franz	SyA
Systems Engineering I	2/2/0	Prof. Dr. Fetzer	SyA
Systems Engineering II	2/2/0	Prof. Dr. Fetzer	SyA
Datenbanken Systemarchitektur I	2/2/0	Prof. Dr. Lehner	SyA

INF-BAS5 Technische Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Einführung in die Technische Informatik	4/2/2	Prof. Dr. Spallek, Dr. Zabel	TeI

INF-BAS6 Theoretische Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Description Logic	4/2/0	Dr. Penaloza	ThI
Weighted Tree Automata	2/2/0	Prof. Dr. Vogler	ThI
Maschinelles Übersetzen natürlicher Sprachen	4/2/0	Prof. Dr. Vogler	ThI

INF-BAS7 Grafische Datenverarbeitung

Lehrveranstaltung	SWS	Dozent	Institut
Computer Vision	2/2/0	Dr. Rother	KI
Computergraphik I	2/1/1	Prof. Dr. Gumhold	SMT
Hauptseminar Bildanalyse	0/2/0	Dr. Rother	KI
Wissenschaftliche Visualisierung	2/1/1	Prof. Dr. Gumhold	SMT
Machine Learning	2/2/0	Dr. Schlesinger	KI

INF-BAS8 Anwendungsfach

Alle angebotenen Anwendungsfächer und ihre Spezifikationen sind auf den Webseiten der Fakultät (http://www.inf.tu-dresden.de/index.php?node_id=2822&ln=de) zu finden.

Vertiefungsmodule

INF-VERT1 Angewandte Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Angewandte Datenanalyse und Modellbildung	2/0/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Barrierefreie Dokumente	2/2/0	Prof. Dr. Weber	AI
Engineering industrieller Kommunikationssysteme	2/0/0	Prof. Dr. Wollschlaeger	AI
Hauptseminar Technische Informationssysteme	0/2/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Internetanwendungen in industriellen Kommunikationssystemen	2/0/0	Prof. Dr. Wollschlaeger	AI
Komplexpraktikum Mensch-Computer Interaktion	0/0/4	Prof. Dr. Weber	AI
Komplexpraktikum Technische Informationssysteme	0/0/4	Prof. Dr. Kabitzsch	AI
Mensch-Computer Interaktion	2/2/0	Prof. Dr. Weber	AI
Netzwerkmanagement in industriellen Anwendungen	2/0/0	Prof. Dr. Wollschlaeger	AI
Praktikum Technische Informationssysteme	0/0/2	Prof. Dr. Kabitzsch	AI
Proseminar Technische Informationssysteme	0/2/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Softwareentwicklung für Echtzeitsteuerungen I	2/0/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Test von Anwendungssystemen	1/1/0	Prof. Dr. Kabitzsch	AI

INF-VERT2 Künstliche Intelligenz

Lehrveranstaltung	SWS	Dozent	Institut
Computer Vision	2/2/0	Dr. Rother	KI
Foundations of Constraint Programming	1/1/0	Prof. Rudolph (unter Vorbehalt)	KI
Hauptseminar Bildanalyse	0/2/0	Dr. Rother	KI
SAT Solving	2/2/0	Prof. Dr. Hölldobler	KI
Komplexpraktikum Computer Vision	0/0/4	Dipl.-Phys. Heidrich, Dr. Rother	KI

INF-VERT3 Software- und Web-Engineering

Lehrveranstaltung	SWS	Dozent	Institut
Barrierefreie Dokumente	2/2/0	Prof. Dr. Weber	AI
Design Patterns and Frameworks	2/2/0	Prof. Dr. Aßmann	SMT
Enterprise Software: Applications, Technologies, and Programming	2/0/0	Prof. Dr. Aßmann, Dr. Kubach	SMT
Hauptseminar Softwaretechnologie	0/2/0	Prof. Dr. Aßmann	SMT
Komplexpraktikum Advanced Web-Engineering	0/0/4	Prof. Dr. Meißner	SMT
Komplexpraktikum Softwaretechnologie	0/0/4	Prof. Dr. Aßmann, Dr. Richly	SMT
Komplexpraktikum User Interface Engineering	0/0/4	Prof. Dr. Dachselt	SMT
Mensch-Computer Interaktion	2/2/0	Prof. Dr. Weber	AI
Software Engineering ubiquitärer Systeme	2/0/0	Jun.-Prof. Dr. Schlegel	SMT
Softwareentwicklungswerkzeuge	2/2/0	Prof. Dr. Aßmann	SMT
Softwareentwicklung in der industriellen Praxis	2/0/0	Prof. Dr. Aßmann, Dr. Demuth	SMT
User Interface Engineering	2/2/0	Prof. Dr. Dachselt	SMT
Komplexpraktikum Software Engineering Ubiquitärer Systeme	0/0/4	Jun.-Prof. Dr. Schlegel	SMT
Academic Skills for Software Engineers	2/2/0	Prof. Dr. Aßmann	SMT
Selected International Research in SE	1/0/0	Prof. Cordy	SMT
Future Proof Software Systems	2/0/0	Dr. Furrer	SMT

INF-VERT4 Systemarchitektur

Lehrveranstaltung	SWS	Dozent	Institut
Application Development for Mobile and Ubiquitous Computing	2/2/0	Prof. Dr. Schill, Dr. Springer	SyA
Distributed Systems	2/2/0	Prof. Dr. Schill	SyA
Entwicklung verteilter Systeme auf Basis Serviceorientierter Architekturen	2/2/0	Prof. Dr. Schill, Dr. Braun	SyA
Kanalkodierung	2/2/0	Dr. Schönfeld	SyA
Microkernel-Based Operating Systems	2/1/0	Prof. Dr. Härtig, Dipl.-Inf. Döbel	SyA
Mobile Communication and Mobile Computing	2/0/0	Prof. Dr. Schill	SyA
Prediction and Estimation Techniques	2/2/0	Prof. Dr. Schill, Dr. Dargie	SyA
Principles of Dependable Systems	2/2/0	Prof. Dr. Fetzer	SyA
Real-Time Systems	2/1/0	Prof. Dr. Härtig	SyA
Rechnernetzpraxis	2/2/0	Prof. Dr. Schill, Dr. Feldmann	SyA
Security and Cryptography I	2/2/0	Dr. Köpsell	SyA
Steganographie und Multimedia-Forensik	2/1/0	Dr. Franz	SyA
Systems Engineering I	2/2/0	Prof. Dr. Fetzer	SyA
Systems Engineering II	2/2/0	Prof. Dr. Fetzer	SyA

INF-VERT5 Technische Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Computerarithmetik	2/2/0	Prof. Dr. Spallek, Dr. Preußer	TeI
Effiziente parallele Algorithmen	2/2/0	Prof. Dr. Nagel	TeI
Hochleistungsrechner und ihre Programmierung I	2/2/0	Prof. Dr. Nagel	TeI
Hochparallele Simulationsrechnungen mit CUDA und OpenCL	2/2/0	Prof. Dr. Nagel, Dipl.-Ing. Juckeland	TeI
Konzepte der parallelen Programmierung	2/0/0	Prof. Dr. Nagel, Dr. Trenkler	TeI
Leistungsanalyse von Rechnersystemen	2/2/0	Prof. Dr. Nagel	TeI
Test und Diagnose digitaler Systeme	2/2/0	Prof. Dr. Spallek, Prof. Straube	TeI

INF-VERT6 Theoretische Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Description Logic	4/2/0	Dr. Penaloza	ThI
Weighted Tree Automata	2/2/0	Prof. Dr. Vogler	ThI
Maschinelles Übersetzen natürlicher Sprachen	4/2/0	Prof. Dr. Vogler	ThI

INF-VERT7 Graphische Datenverarbeitung

Lehrveranstaltung	SWS	Dozent	Institut
Computer Vision	2/2/0	Dr. Rother	KI
Hauptseminar Bildanalyse	0/2/0	Dr. Rother	KI
Wissenschaftliche Visualisierung	2/1/1	Prof. Dr. Gumhold	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-FPG Forschungsprojekt Grundlagen

Lehrveranstaltung	SWS	Dozent	Institut
Komplexpraktikum Prozesskommunikation	0/0/4	Prof. Dr. Wollschlaeger	AI
Forschungsprojekt Foundations of Natural User Interfaces	8P/PB	Prof. Dr. Dachselt	SMT
Forschungspraktikum DB-Systemarchitektur	0/0/4	Prof. Dr. Lehner	SyA
Forschungsprojekt Grundlagen Betriebssysteme	8P/PB	Prof. Dr. Härtig	SyA
Forschungsprojekt VLSI-EDA	8P/PB	Prof. Dr. Spallek	TeI
Projektpraktikum Computer Vision	0/0/4	Dipl.-Phys. Heidrich, Dr. Rother	KI

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 Datenschutz und Datensicherheit	8P/PB	N.N.	SyA
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
Forschungspraktikum DB-Anwendungsentwicklung	0/0/4	Prof. Dr. Lehner	SyA
Projektpraktikum Computer Vision	0/0/4	Dipl.-Phys. Heidrich, Dr. Rother	KI

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 Betriebssysteme	0/2/0	Prof. Dr. Härtig	SyA
Hauptseminar Bildanalyse	0/2/0	Dr. Rother	KI
Hauptseminar Current Topics in Software Fault Tolerance	0/2/0	Prof. Dr. Fetzer	SyA
Hauptseminar Datenbanken	0/2/0	Prof. Dr. Lehner	SyA
Hauptseminar Internet Information Retrieval	0/2/0	Prof. Dr. Schill, Dr. Schuster	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	Prof. Dr. Kabitzsch, 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
Seminar Natural Language Processing	0/2/0	Prof. Dr. Vogler, Dipl.-Inf. Dietze	ThI
Hauptseminar Selected Topics in Logic and Verification	0/2/0	Prof. Dr. Baier, Dr. Klüppelholz	ThI
Academic Skills for Software Engineers	2/2/0	Prof. Dr. Aßmann	SMT
Abstract Argumentation	0/2/0	Dr. Gaggl	KI

INF-MA-PR Master-Praktikum

Lehrveranstaltung	SWS	Dozent	Institut
Komplexpraktikum Graphische Datenverarbeitung	0/0/4	Prof. Dr. Gumhold, Dipl.-Medieninf. Staib	SMT
Komplexpraktikum Datenschutzfreundliche Technologien im Internet	0/0/4	Dr. Clauß	SyA
Komplexpraktikum Interaktive Multimediale Technologien	0/0/4	Prof. Dr. Dachselt	SMT
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 Linux-Cluster in Theorie und Praxis	0/0/4	Prof. Dr. Nagel, Dipl.-Inf. Georgi	TeI
Komplexpraktikum Mensch-Computer Interaktion	0/0/4	Prof. Dr. Weber	AI
Komplexpraktikum Mikrokernbasierte Betriebssysteme	0/0/4	Prof. Dr. Härtig, M.Sc. Stumpf	SyA
Komplexpraktikum Mobile and Ubiquitous Computing	0/0/4	Prof. Dr. Schill, Dr. Springer	SyA
Komplexpraktikum Multimedia Information Retrieval	0/0/4	Prof. Dr. Meißner	SMT
Komplexpraktikum Multimodale Interaktion	0/0/8	Prof. Dr. Weber	AI
Komplexpraktikum Paralleles Rechnen	0/0/4	Prof. Dr. Nagel, Dr. Trenkler	TeI
Komplexpraktikum Parallelizing SAT Preprocessors	0/0/4	Prof. Dr. Hölldobler	KI
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 Simulationsprojekt	0/0/4	Prof. Rose	AI
Komplexpraktikum Software Fault Tolerance	0/0/4	Prof. Dr. Fetzer	SyA
Komplexpraktikum Softwaretechnologie	0/0/4	Prof. Dr. Aßmann, Dr. Richly	SMT
Komplexpraktikum Systemnahe Programmierung	0/0/4	Prof. Dr. Härtig, Dipl.-Inf. Warg	SyA
Komplexpraktikum Theoretische Informatik	0/0/4, 0/0/8	Prof. Dr. Baader, Dr. Penaloza	ThI
Komplexpraktikum User Interface Engineering	0/0/4	Prof. Dr. Dachselt	SMT
Komplexpraktikum Medieninformatik	0/0/4	Prof. Dr. Gumhold	SMT
Komplexpraktikum Software Engineering Ubiquitärer Systeme	0/0/4	Jun.-Prof. Dr. Schlegel	SMT
Praktikum Model Checking	0/0/4, 0/0/8	Prof. Dr. Baier, Dr. Klüppelholz	ThI
Datenbanken Masterpraktikum	0/0/8	Prof. Dr. Lehner	SyA
Masterpraktikum Prozessorentwurf	0/0/8	Prof. Dr. Spallek, Dr. Zabel	TeI
Komplexpraktikum Systems Engineering	0/0/4	Prof. Dr. Fetzer	SyA
Komplexpraktikum Computer Vision	0/0/4	Dipl.-Phys. Heidrich, Dr. Rother	KI

Wintersemester 2013/14