Studienablaufplan für Informatik, Master

Pflichtmodule

nach oben

INF-AQUA Allgemeine Qualifikationen zur Informatik

nach oben

Für dieses Modul sind Lehrveranstaltungen (Vorlesungen, Übungen, Praktika, Projektbearbeitungen, Exkursionen, Tutorien und Sprachkurse) im Umfang von 4 SWS aus dem allgemeinqualifizierenden Bereich (Tabelle 1) und ein Seminar im Umfang von 2 SWS (Tabelle 2) zu erbringen. Tabelle 1 kann durch folgende Veranstaltungen ergänzt werden:

• benotete Sprachkurse Englisch EBW F1, F2, F3 (Tudias)
• benotete Sprachkurse (Tudias)
• fachfremde, benotete Veranstaltungen im Bereich Studium Generale

Tabelle 1

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Prüfung	Master-Niveau
Academic Skills in Computer Science	2/2/0	english	Prof. Krötzsch	THI	-	ja
Academic Skills in Software Engineering	3/1/0	english	Dr. Götz	SMT	P(m)	ja
Informatik und Gesellschaft	2/0/0	deutsch	Dr. Köpsell	SYA	P(m) 25min, P(m) je nach Modul und Fachgebiet	ja

Tabelle 2

Lehrveranstaltung	SWS	Sprache	Dozent	Institut	Prüfung	Master-Niveau
Forschungsseminar RoSI	0/2/0	deutsch	Prof. Lehner	SYA	-	ja
Forschungsseminar Wissensbasierte Systeme	0/2/0	english	Prof. Krötzsch	THI	P(m)	nein
Hauptseminar Adaptive Rechnersysteme	0/2/0	deutsch, english	Prof. Göhringer	TEI	Seminararbeit und Präsentation	ja
Hauptseminar Advanced User Interfaces	0/2/0	deutsch	Prof. Dachselt	SMT	Seminararbeit und Präsentation	ja
Hauptseminar Audio	0/2/0	deutsch	Prof. Groh	SMT	Seminararbeit und Präsentation	ja
Hauptseminar Betriebssysteme	0/2/0	deutsch	Prof. Härtig	SYA	Seminararbeit und Präsentation	ja
Hauptseminar Computergraphik und Visualisierung	0/2/0	deutsch, english	Prof. Gumhold	SMT	Seminararbeit und Präsentation	ja
Hauptseminar Current Topics in Compiler Construction	0/2/0	english	Prof. Castrillon-Mazo	TEI	Seminararbeit und Präsentation	ja
Hauptseminar Current Topics in Dependable Systems	0/2/0	deutsch	Prof. Fetzer	SYA	Seminararbeit und Präsentation	ja
Hauptseminar Current Topics in Processordesign	0/2/0	english	Prof. Dr. Kumar	TEI	Seminararbeit und Präsentation	ja
Hauptseminar Datenbanken	0/2/0	deutsch	Prof. Lehner	SYA	Seminararbeit und Präsentation	ja
Hauptseminar Mediengestaltung im Anwendungskontext	0/2/0	deutsch	Prof. Groh	SMT	Seminararbeit und Präsentation	nein
Hauptseminar Mobile and Ubiquitous Computing	0/2/0	deutsch	Prof. Schill, Dr. Springer	SYA	Seminararbeit und Präsentation	ja
Hauptseminar Rechnerarchitektur und Programmierung	0/2/0	deutsch	Prof. Nagel	TEI	Seminararbeit und Präsentation	ja
Hauptseminar Rechnernetze	0/2/0	deutsch	Prof. Schill, Dr. Feldmann	SYA	Seminararbeit und Präsentation	ja
Hauptseminar Service and Cloud Computing	0/2/0	deutsch	Dr. Braun	SYA	Seminararbeit und Präsentation	ja
Hauptseminar Softwaretechnologie	0/2/0	deutsch	Dr. Wendt	SMT	Seminararbeit und Präsentation	ja
Hauptseminar Technische Informatik	0/2/0	deutsch	Prof. Spallek	TEI	Seminararbeit und Präsentation	ja
Hauptseminar Technische Informationssysteme	0/2/0	deutsch	Prof. Kabitzsch, Dr.-Ing. Dementjev	AI	Seminararbeit und Präsentation	ja
Hauptseminar Technischer Datenschutz	0/2/0	deutsch	Prof. Strufe	SYA	Seminararbeit und Präsentation	ja
Hauptseminar Usability von Informationssystemen	0/2/0	deutsch	Dr.-Ing. Zeng	AI	Seminararbeit und Präsentation	ja
Knowledge Representation and Reasoning	0/2/0	english	Prof. Hölldobler	KI	-	ja
Seminar Current Topics in Embedded Systems	0/2/0	english	Prof. Dr. Kumar	TEI	Seminararbeit und Präsenation	ja
Seminar Existential Rules	0/2/0	english	Prof. Krötzsch	THI	Seminararbeit und Präsentation	ja
Seminar Natural Language Processing II	0/2/0	deutsch	Prof. Vogler	THI	Seminararbeit und Präsentation	ja
Seminar Selected Topics in Logic and Verification	0/2/0	english	Prof. Baier	THI	Seminararbeit und Präsentation	ja
Seminar Theoretical Computer Science	0/2/0	english	Prof. Baader, Dr. Turhan	THI	Seminararbeit und Präsentation	ja

INF-MA-PR Forschung und Entwicklung in der Informatik

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Blockpraktikum Foundations of Physical Computing	0/0/4	deutsch, english	Prof. Dachselt	SMT
Forschungsprojekt Computational Logic	0/0/8	deutsch	Prof. Rudolph	KI
Forschungsprojekt: Programmierung und Hardwareentwurf für Rekonfigurierbare Rechensysteme	0/0/8	deutsch, english	Prof. Göhringer	TEI
Komplexpraktikum Advanced User Interfaces	0/0/4	deutsch	Prof. Dachselt	SMT
Komplexpraktikum Angewandte Bildsprache	0/0/4	deutsch	Dr.-Ing. Franke	SMT
Komplexpraktikum Audio Interfaces	0/0/4	deutsch	Prof. Groh	SMT
Komplexpraktikum Computer- und robotergestützte Chirurgie	0/0/4	deutsch	Prof. Speidel	MED
Komplexpraktikum Computergraphik und Visualisierung	0/0/4	deutsch	Prof. Gumhold	SMT
Komplexpraktikum Cyber Physical Systems	0/0/8	deutsch	Prof. Wollschlaeger	AI
Komplexpraktikum Kryptographie und Datensicherheit	0/0/4	deutsch, english	Dr. Köpsell	SYA
Komplexpraktikum Mensch-Computer Interaktion	0/0/4	deutsch	Dr.-Ing. Zeng	AI
Komplexpraktikum Mobile and Ubiquitous Computing	0/0/4	deutsch	Prof. Schill, Dr. Springer	SYA
Komplexpraktikum Modellierung und quantitative Systemanalyse I	0/0/4	deutsch	Prof. Baier	THI
Komplexpraktikum Modellierung und quantitative Systemanalyse II	0/0/8	deutsch	Prof. Baier	THI
Komplexpraktikum Multimodale Interaktion	0/0/8	deutsch	Dr.-Ing. Zeng	AI
Komplexpraktikum Prozesskommunikation	0/0/4	deutsch	Prof. Wollschlaeger	AI
Komplexpraktikum Service and Cloud Computing	0/0/4	deutsch	Prof. Schill, Dr. Braun	SYA
Komplexpraktikum Softwaretechnologie	0/0/4	deutsch	Prof. Aßmann, Dr. Götz	SMT
Komplexpraktikum Theoretische Informatik	0/0/4, 0/0/8	deutsch	Prof. Baader, Dr.-Ing. Borgwardt	THI
Komplexpraktikum Visualisierungs- und Interaktionstechniken	0/0/4	deutsch	Prof. Dachselt	SMT
Komplexpraktikum Wissensbasierte Systeme	0/0/4, 0/0/8	deutsch	Prof. Krötzsch	THI
Lab: Concurrent and Distributed Systems	0/0/4	english	Prof. Fetzer	SYA
Lab: Systems Engineering	0/0/4	english	Prof. Fetzer	SYA
Master-Praktikum Verarbeitung natürlicher Sprachen	0/0/8	deutsch	Prof. Vogler	THI
Praktikum Verarbeitung natürlicher Sprachen	0/0/4	deutsch	Prof. Vogler	THI

Wahlpflichtmodule

nach oben

INF-BAS1 Angewandte Informatik

nach oben

In diesem Semester werden in diesem Modul keine Lehrveranstaltungen angeboten.

INF-BAS2 Künstliche Intelligenz

nach oben

In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT2 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Deduction Systems	1/1/0	english	Prof. Rudolph	KI
Formale Baumsprachen	2/2/0	deutsch	Prof. Vogler	THI
Foundations for Machine Learning	2/0/0	english	Prof. Hölldobler, PhD Stefanus	KI
Fuzzy Informationsverarbeitung	2/0/0	deutsch	Associate Professor Tran Dinh	KI
Komplexpraktikum Computergraphik und Visualisierung	0/0/4	deutsch	Prof. Gumhold	SMT
Logical Modeling	0/2/0	english	Prof. Rudolph	KI
Parsing von natürlichen Sprachen	4/2/0	deutsch	Prof. Vogler	THI
Problem Solving and Search in AI	2/2/0	english	Dr. Gaggl	KI
SAT Solving	2/2/0	english	Prof. Hölldobler	KI
Spatiotemporal Modeling and Simulation of Biological Systems	2/2/0	english	Prof. Sbalzarini	KI

INF-BAS3 Software- und Web-Engineering

nach oben

In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT3 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Academic Skills in Computer Science	2/2/0	english	Prof. Krötzsch	THI
Academic Skills in Software Engineering	3/1/0	english	Dr. Götz	SMT
Automotive Software Engineering	2/0/0	deutsch	Dr.-Ing. Conrad	SMT
Compilerbau	2/0/0	deutsch	Prof. Castrillon-Mazo	TEI
Compilerbau - Übung zur Vorlesung	0/2/0	deutsch	Prof. Castrillon-Mazo	TEI
Component Based Software Engineering	2/2/0	english	Dr. Götz	SMT
Embedded Hardware Systems Design	2/0/0	english	Prof. Dr. Kumar	TEI
Foundations of Concurrent and Distributed Systems	4/0/0	english	Prof. Fetzer	SYA
Hauptseminar Engineering trustworthy Cyber-Physical Systems	0/2/0	english	Prof. Furrer	SMT
Hauptseminar Softwaretechnologie	0/2/0	deutsch	Dr. Wendt	SMT
Hauptseminar Usability von Informationssystemen	0/2/0	deutsch	Dr.-Ing. Zeng	AI
Internet and Web Applications	2/2/0	english	Prof. Schill, Dr. Feldmann	SYA
SAT Solving	2/2/0	english	Prof. Hölldobler	KI
Seminar Embedded Hardware Systems Design	0/2/0	english	Prof. Dr. Kumar	TEI
Software Fault Tolerance	2/2/0	english	Prof. Fetzer, Dr. Martin	SYA
Software-Reengineering	2/2/0	english	Prof. Aßmann, Hr. Sneed	SMT
Softwaremanagement	2/2/0	deutsch	Dr. Demuth	SMT
Spatiotemporal Modeling and Simulation of Biological Systems	2/2/0	english	Prof. Sbalzarini	KI

INF-BAS4 Systemarchitektur

nach oben

In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT4 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Compilerbau	2/0/0	deutsch	Prof. Castrillon-Mazo	TEI
Compilerbau - Übung zur Vorlesung	0/2/0	deutsch	Prof. Castrillon-Mazo	TEI
Datenintegration und -analyse	2/2/0	deutsch	Prof. Lehner, Dr. Thiele	SYA
Distributed Operating Systems	2/1/0	english	Prof. Härtig	SYA
Embedded Hardware Systems Design	2/0/0	english	Prof. Dr. Kumar	TEI
Foundations of Concurrent and Distributed Systems	4/0/0	english	Prof. Fetzer	SYA
Internet and Web Applications	2/2/0	english	Prof. Schill, Dr. Feldmann	SYA
Microkernel Construction	2/0/0	english	Prof. Härtig, Dr.-Ing. Weinhold	SYA
Resilient Networking	2/2/0	english	Prof. Strufe	SYA
Schedulingtheorie	2/0/0	deutsch	Prof. Härtig, Dr. Hamann	SYA
Security and Cryptography II	2/2/0	english	Prof. Strufe, Dr. Köpsell	SYA
Seminar Embedded Hardware Systems Design	0/2/0	english	Prof. Dr. Kumar	TEI
Software Fault Tolerance	2/2/0	english	Prof. Fetzer, Dr. Martin	SYA
Systemsicherheits-Labor	2/2/0	deutsch	Prof. Strufe, Dr. Köpsell	SYA
Wireless Sensor Networks	2/2/0	english	Prof. Schill, Dr. Dargie	SYA

INF-BAS5 Technische Informatik

nach oben

In diesem Semester werden in diesem Modul keine Lehrveranstaltungen angeboten.

INF-BAS6 Theoretische Informatik

nach oben

In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT6 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Advanced Logics	4/2/0	english	Prof. Baier	THI
Database Theory	4/2/0	english	Prof. Krötzsch	THI
Description Logic	4/2/0	english	Prof. Baader	THI
Formale Baumsprachen	2/2/0	deutsch	Prof. Vogler	THI
Logic-based Ontology Engineering	2/2/0	english	Dr.-Ing. Borgwardt	THI
Parsing von natürlichen Sprachen	4/2/0	deutsch	Prof. Vogler	THI

INF-BAS7 Graphische Datenverarbeitung

nach oben

In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT7 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Computergraphik II	2/2/0	english	Prof. Gumhold	SMT
Hauptseminar Computergraphik und Visualisierung	0/2/0	deutsch, english	Prof. Gumhold	SMT
Spatiotemporal Modeling and Simulation of Biological Systems	2/2/0	english	Prof. Sbalzarini	KI
Wissenschaftliche Visualisierung	2/2/0	deutsch	Prof. Gumhold	SMT

INF-BAS8 Nichtinformatisches Anwendungsfach

nach oben

Informationen: Nebenfach-Seiten der Fakultät Informatik

INF-PM-ANW Profil Anwendungsforschung in der Informatik

nach oben

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.

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Advanced User Interfaces	2/2/0	deutsch, english	Prof. Dachselt	SMT
Digitization and Data Analytics: Architectures, Methods, and Consequences	2/2/0	deutsch	Prof. Nagel	TEI
Embedded Hardware Systems Design	2/0/0	english	Prof. Dr. Kumar	TEI
Entwurf und Programmierung Eingebetteter Multicore Architekturen	2/2/0	deutsch	Prof. Göhringer	TEI
Entwurf, Test und Analyse vernetzter Anwendersysteme - Anwendung	2/2/0	deutsch	Prof. Kabitzsch, Dr.-Ing. Dementjev	AI
Internet and Web Applications	2/2/0	english	Prof. Schill, Dr. Feldmann	SYA
Multimodale Benutzungsoberflächen	2/2/0	deutsch	Prof. Weber	AI
Resilient Networking	2/2/0	english	Prof. Strufe	SYA
Security and Cryptography II	2/2/0	english	Prof. Strufe, Dr. Köpsell	SYA
Seminar Embedded Hardware Systems Design	0/2/0	english	Prof. Dr. Kumar	TEI
Software Fault Tolerance	2/2/0	english	Prof. Fetzer, Dr. Martin	SYA
Systemsicherheits-Labor	2/2/0	deutsch	Prof. Strufe, Dr. Köpsell	SYA
Wireless Sensor Networks	2/2/0	english	Prof. Schill, Dr. Dargie	SYA

INF-PM-FOR Profil Grundlagenforschung in der Informatik

nach oben

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.

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Advanced User Interfaces	2/2/0	deutsch, english	Prof. Dachselt	SMT
Computergraphik II	2/2/0	english	Prof. Gumhold	SMT
Computertechnik	2/0/0	deutsch	Prof. Spallek, Dr. Köhler	TEI
Database Theory	4/2/0	english	Prof. Krötzsch	THI
Embedded Hardware Systems Design	2/0/0	english	Prof. Dr. Kumar	TEI
Formale Baumsprachen	2/2/0	deutsch	Prof. Vogler	THI
Forschungsseminar Wissensbasierte Systeme	0/2/0	english	Prof. Krötzsch	THI
Fuzzy Informationsverarbeitung	2/0/0	deutsch	Associate Professor Tran Dinh	KI
Logic-based Ontology Engineering	2/2/0	english	Dr.-Ing. Borgwardt	THI
Parsing von natürlichen Sprachen	4/2/0	deutsch	Prof. Vogler	THI
SAT Solving	2/2/0	english	Prof. Hölldobler	KI
Seminar Embedded Hardware Systems Design	0/2/0	english	Prof. Dr. Kumar	TEI
Seminar Existential Rules	0/2/0	english	Prof. Krötzsch	THI

INF-PM-FPA Profilprojekt Anwendungsforschung in der Informatik

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Anwendungs-/Forschungsprojekt Machine Learning	0/0/8	deutsch
Anwendungsforschung Datenschutz und Datensicherheit - Praktika und Projektarbeiten	8P/PB	deutsch, english	Prof. Strufe	SYA
Blockpraktikum Foundations of Physical Computing	0/0/4	deutsch, english	Prof. Dachselt	SMT
Forschungspraktikum Compilerbau	8P/PB	deutsch, english	Prof. Castrillon-Mazo	TEI
Forschungspraktikum DB-Anwendungsentwicklung	0/0/8	deutsch	Dr. Thiele	SYA
Forschungspraktikum Processordesign	8P/PB	english	Prof. Dr. Kumar	TEI
Forschungsprojekt Advanced VisualAudio Manipulation	0/0/8	deutsch, english	Prof. Groh	SMT
Forschungsprojekt angewandte biomedizinische Bildverarbeitung	8P/PB	deutsch	Prof. Sbalzarini	KI
Forschungsprojekt Angewandte Computergraphik und Visualisierung	8P/PB	deutsch	Prof. Gumhold	SMT
Forschungsprojekt Computational Logic	0/0/8	deutsch	Prof. Rudolph	KI
Forschungsprojekt Computergraphik und Visualisierung	0/0/8	deutsch, english	Prof. Gumhold	SMT
Forschungsprojekt Entwurf, Test und Analyse von Anwendersystemen	8P/PB	deutsch	Prof. Kabitzsch, Dr.-Ing. Dementjev	AI
Forschungsprojekt Interaktive Multimediale Technologien	8P/PB	deutsch, english	Prof. Dachselt	SMT
Forschungsprojekt Mobile and Ubiquitous Computing	8P/PB	deutsch, english	Dr. Springer	SYA
Forschungsprojekt Multimodale Interaktion	8P/PB	deutsch	Prof. Weber	AI
Forschungsprojekt Rechnernetze	8P/PB	deutsch, english	Dr. Feldmann	SYA
Forschungsprojekt Service and Cloud Computing	8P/PB	deutsch, english	Dr. Braun	SYA
Forschungsprojekt Wissensbasierte Systeme	0/0/8	deutsch	Prof. Krötzsch	THI
Forschungsprojekt: Programmierung und Hardwareentwurf für Rekonfigurierbare Rechensysteme	0/0/8	deutsch, english	Prof. Göhringer	TEI
Komplexpraktikum Cyber Physical Systems	0/0/8	deutsch	Prof. Wollschlaeger	AI
Komplexpraktikum Mobile and Ubiquitous Computing	0/0/4	deutsch	Prof. Schill, Dr. Springer	SYA
Leistungs- und Energieeffizienz-Analyse für innovative Rechnerarchitekturen	8P/PB	deutsch	Prof. Nagel	TEI
Skalierbare Software-Werkzeuge zur Unterstützung der Anwendungsoptimierung auf HPC-Systemen	8P/PB	deutsch	Prof. Nagel	TEI

INF-PM-FPG Profilprojekt Grundlagenforschung in der Informatik

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Anwendungs-/Forschungsprojekt Machine Learning	0/0/8	deutsch
Blockpraktikum Foundations of Physical Computing	0/0/4	deutsch, english	Prof. Dachselt	SMT
Datenintensives Rechnen und Data Life Cycle	8P/PB	deutsch	Prof. Nagel	TEI
Forschungspraktikum Compilerbau	8P/PB	deutsch, english	Prof. Castrillon-Mazo	TEI
Forschungspraktikum DB-Systemarchitektur	0/0/8	deutsch	Dr. Habich	SYA
Forschungspraktikum Processordesign	8P/PB	english	Prof. Dr. Kumar	TEI
Forschungsprojekt Computational Logic	0/0/8	deutsch	Prof. Rudolph	KI
Forschungsprojekt Computergraphik und Visualisierung	0/0/8	deutsch, english	Prof. Gumhold	SMT
Forschungsprojekt Computersimulation biologischer Systeme	8P/PB	deutsch	Prof. Sbalzarini	KI
Forschungsprojekt Formale Methoden	8P/PB	deutsch, english	Prof. Baier	THI
Forschungsprojekt Foundations of Natural User Interfaces	8P/PB	deutsch, english	Prof. Dachselt	SMT
Forschungsprojekt Grundlagen Betriebssysteme	8P/PB	deutsch, english	Prof. Härtig	SYA
Forschungsprojekt Grundlagen der Computergraphik und Visualisierung	8P/PB	deutsch	Prof. Gumhold	SMT
Forschungsprojekt Theoretical Computer Science	8P/PB	deutsch	Prof. Baader	THI
Forschungsprojekt Verarbeitung natürlicher Sprachen	8P/PB	deutsch	Prof. Vogler	THI
Forschungsprojekt VLSI-EDA	8P/PB	deutsch	Prof. Spallek	TEI
Forschungsprojekt Wissensbasierte Systeme	0/0/8	deutsch	Prof. Krötzsch	THI
Forschungsprojekt: Programmierung und Hardwareentwurf für Rekonfigurierbare Rechensysteme	0/0/8	deutsch, english	Prof. Göhringer	TEI
Komplexpraktikum Cyber Physical Systems	0/0/8	deutsch	Prof. Wollschlaeger	AI
Komplexpraktikum Modellierung und quantitative Systemanalyse I	0/0/4	deutsch	Prof. Baier	THI
Komplexpraktikum Modellierung und quantitative Systemanalyse II	0/0/8	deutsch	Prof. Baier	THI
Parallele Programmierung, Algorithmen und Methoden	8P/PB	deutsch	Prof. Nagel	TEI

INF-VERT1 Vertiefung Angewandte Informatik

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Ethernet-basierte Systeme in der Industrie	2/0/0	deutsch	Prof. Wollschlaeger	AI
Hauptseminar Technische Informationssysteme	0/2/0	deutsch	Prof. Kabitzsch, Dr.-Ing. Dementjev	AI
Industrielle Kommunikationssysteme	2/0/0	deutsch	Prof. Wollschlaeger	AI
Informationsmodelle in der Automation	2/0/0	deutsch	Dr.-Ing. Hilbert	AI
Komplexpraktikum Mensch-Computer Interaktion	0/0/4	deutsch	Dr.-Ing. Zeng	AI
Komplexpraktikum Prozesskommunikation	0/0/4	deutsch	Prof. Wollschlaeger	AI
Komplexpraktikum Technische Informationssysteme	0/0/4	deutsch	Prof. Kabitzsch	AI
Multimodale Benutzungsoberflächen	2/2/0	deutsch	Prof. Weber	AI
Praktikum Ethernet-basierte Systeme in der Industrie	0/0/2	deutsch	Prof. Wollschlaeger	AI
Praktikum Industrielle Kommunikationssysteme	0/0/2	deutsch	Prof. Wollschlaeger	AI
Praktikum Technische Informationssysteme	0/0/2	deutsch	Prof. Kabitzsch	AI
Produktionssteuerung - innovative Leittechnologie für die Industrie	1/0/1	deutsch	Prof. Wollschlaeger	AI
Projekt Technische Informationssysteme	0/0/4	deutsch	Prof. Kabitzsch, Dr.-Ing. Dementjev	AI
Proseminar Technische Informationssysteme	0/2/0	deutsch	Prof. Kabitzsch, Dr.-Ing. Dementjev	AI

INF-VERT2 Vertiefung Künstliche Intelligenz

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Deduction Systems	1/1/0	english	Prof. Rudolph	KI
Formale Baumsprachen	2/2/0	deutsch	Prof. Vogler	THI
Foundations for Machine Learning	2/0/0	english	Prof. Hölldobler, PhD Stefanus	KI
Fuzzy Informationsverarbeitung	2/0/0	deutsch	Associate Professor Tran Dinh	KI
Komplexpraktikum Computergraphik und Visualisierung	0/0/4	deutsch	Prof. Gumhold	SMT
Logical Modeling	0/2/0	english	Prof. Rudolph	KI
Parsing von natürlichen Sprachen	4/2/0	deutsch	Prof. Vogler	THI
Problem Solving and Search in AI	2/2/0	english	Dr. Gaggl	KI
SAT Solving	2/2/0	english	Prof. Hölldobler	KI
Spatiotemporal Modeling and Simulation of Biological Systems	2/2/0	english	Prof. Sbalzarini	KI

INF-VERT3 Vertiefung Software- und Web-Engineering

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Academic Skills in Computer Science	2/2/0	english	Prof. Krötzsch	THI
Academic Skills in Software Engineering	3/1/0	english	Dr. Götz	SMT
Advanced User Interfaces	2/2/0	deutsch, english	Prof. Dachselt	SMT
Automotive Software Engineering	2/0/0	deutsch	Dr.-Ing. Conrad	SMT
Compilerbau	2/0/0	deutsch	Prof. Castrillon-Mazo	TEI
Compilerbau - Übung zur Vorlesung	0/2/0	deutsch	Prof. Castrillon-Mazo	TEI
Component Based Software Engineering	2/2/0	english	Dr. Götz	SMT
Embedded Hardware Systems Design	2/0/0	english	Prof. Dr. Kumar	TEI
Foundations of Concurrent and Distributed Systems	4/0/0	english	Prof. Fetzer	SYA
Hauptseminar Advanced User Interfaces	0/2/0	deutsch	Prof. Dachselt	SMT
Hauptseminar Engineering trustworthy Cyber-Physical Systems	0/2/0	english	Prof. Furrer	SMT
Hauptseminar Softwaretechnologie	0/2/0	deutsch	Dr. Wendt	SMT
Hauptseminar Usability von Informationssystemen	0/2/0	deutsch	Dr.-Ing. Zeng	AI
Interaktive Informationsvisualisierung	2/2/0	deutsch	Prof. Dachselt	SMT
Komplexpraktikum Advanced User Interfaces	0/0/4	deutsch	Prof. Dachselt	SMT
Komplexpraktikum Angewandte Bildsprache	0/0/4	deutsch	Dr.-Ing. Franke	SMT
Komplexpraktikum Audio Interfaces	0/0/4	deutsch	Prof. Groh	SMT
Komplexpraktikum Interaktionsdesign	0/0/4	deutsch	Prof. Groh	SMT
Komplexpraktikum Mensch-Computer Interaktion	0/0/4	deutsch	Dr.-Ing. Zeng	AI
Komplexpraktikum Softwaretechnologie	0/0/4	deutsch	Prof. Aßmann, Dr. Götz	SMT
Komplexpraktikum Visualisierungs- und Interaktionstechniken	0/0/4	deutsch	Prof. Dachselt	SMT
Multimodale Benutzungsoberflächen	2/2/0	deutsch	Prof. Weber	AI
Seminar Embedded Hardware Systems Design	0/2/0	english	Prof. Dr. Kumar	TEI
Software Fault Tolerance	2/2/0	english	Prof. Fetzer, Dr. Martin	SYA
Software-Reengineering	2/2/0	english	Prof. Aßmann, Hr. Sneed	SMT
Spatiotemporal Modeling and Simulation of Biological Systems	2/2/0	english	Prof. Sbalzarini	KI

INF-VERT4 Vertiefung Systemarchitektur

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Compilerbau	2/0/0	deutsch	Prof. Castrillon-Mazo	TEI
Compilerbau - Übung zur Vorlesung	0/2/0	deutsch	Prof. Castrillon-Mazo	TEI
Datenintegration und -analyse	2/2/0	deutsch	Prof. Lehner, Dr. Thiele	SYA
Distributed Operating Systems	2/1/0	english	Prof. Härtig	SYA
Embedded Hardware Systems Design	2/0/0	english	Prof. Dr. Kumar	TEI
Foundations of Concurrent and Distributed Systems	4/0/0	english	Prof. Fetzer	SYA
Hauptseminar Datenbanken	0/2/0	deutsch	Prof. Lehner	SYA
Internet and Web Applications	2/2/0	english	Prof. Schill, Dr. Feldmann	SYA
Microkernel Construction	2/0/0	english	Prof. Härtig, Dr.-Ing. Weinhold	SYA
Resilient Networking	2/2/0	english	Prof. Strufe	SYA
Schedulingtheorie	2/0/0	deutsch	Prof. Härtig, Dr. Hamann	SYA
Security and Cryptography II	2/2/0	english	Prof. Strufe, Dr. Köpsell	SYA
Seminar Embedded Hardware Systems Design	0/2/0	english	Prof. Dr. Kumar	TEI
Software Fault Tolerance	2/2/0	english	Prof. Fetzer, Dr. Martin	SYA
Systemsicherheits-Labor	2/2/0	deutsch	Prof. Strufe, Dr. Köpsell	SYA
Wireless Sensor Networks	2/2/0	english	Prof. Schill, Dr. Dargie	SYA

INF-VERT5 Vertiefung Technische Informatik

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Compilerbau	2/0/0	deutsch	Prof. Castrillon-Mazo	TEI
Compilerbau - Übung zur Vorlesung	0/2/0	deutsch	Prof. Castrillon-Mazo	TEI
Computertechnik	2/0/0	deutsch	Prof. Spallek, Dr. Köhler	TEI
Digitization and Data Analytics: Architectures, Methods, and Consequences	2/2/0	deutsch	Prof. Nagel	TEI
Embedded Hardware Systems Design	2/0/0	english	Prof. Dr. Kumar	TEI
Entwurf und Programmierung Eingebetteter Multicore Architekturen	2/2/0	deutsch	Prof. Göhringer	TEI
Hauptseminar Adaptive Rechnersysteme	0/2/0	deutsch, english	Prof. Göhringer	TEI
Hauptseminar Current Topics in Compiler Construction	0/2/0	english	Prof. Castrillon-Mazo	TEI
Hauptseminar Current Topics in Processordesign	0/2/0	english	Prof. Dr. Kumar	TEI
Hauptseminar Rechnerarchitektur und Programmierung	0/2/0	deutsch	Prof. Nagel	TEI
Seminar Current Topics in Embedded Systems	0/2/0	english	Prof. Dr. Kumar	TEI
Seminar Embedded Hardware Systems Design	0/2/0	english	Prof. Dr. Kumar	TEI
Struktur und Operationsprinzip von Prozessoren	2/0/0	deutsch	Prof. Nagel	TEI

INF-VERT6 Vertiefung Theoretische Informatik

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Advanced Logics	4/2/0	english	Prof. Baier	THI
Database Theory	4/2/0	english	Prof. Krötzsch	THI
Description Logic	4/2/0	english	Prof. Baader	THI
Formale Baumsprachen	2/2/0	deutsch	Prof. Vogler	THI
Logic-based Ontology Engineering	2/2/0	english	Dr.-Ing. Borgwardt	THI
Parsing von natürlichen Sprachen	4/2/0	deutsch	Prof. Vogler	THI

INF-VERT7 Vertiefung Graphische Datenverarbeitung

nach oben

Lehrveranstaltung	SWS	Sprache	Dozent	Institut
Computergraphik II	2/2/0	english	Prof. Gumhold	SMT
Hauptseminar Computergraphik und Visualisierung	0/2/0	deutsch, english	Prof. Gumhold	SMT
Interaktive Informationsvisualisierung	2/2/0	deutsch	Prof. Dachselt	SMT
Particle Methods	2/2/0	english	Prof. Sbalzarini	KI
Spatiotemporal Modeling and Simulation of Biological Systems	2/2/0	english	Prof. Sbalzarini	KI
Wissenschaftliche Visualisierung	2/2/0	deutsch	Prof. Gumhold	SMT

Anmerkungen

nach oben

Semester im Sinne der Prüfungs- und Studienordnung.

Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.

Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge

• MCL-* ... Master Computational Logic
• CMS-* .... Master Computational Modeling and Simulation
• DSE-10* ... Master Distributed Systems Engineering (PO 2010)
• DSE-14* ... Master Distributed Systems Engineering (PO 2014)
• INF-LA* ... Bachelor/Master Lehramt
• INF-SE* ... Staatsexamen Lehramt

und folgende "Module" für ältere Studiengänge und Sonstiges

• INF-04-* ... Diplom Informatik, Studienordnung 2004
• MINF-04-* ... Diplom Medieninformatik, Studienordnung 2004
• IST-05-* ... Diplom Informationssystemtechnik, Studienordnung 2005
• INF-LE-* ... Lehrexport an andere Fakultäten
• FAK-INF-FF ... Fakultative Fächer

Prüfung Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind:

• Seminararbeit und Präsentation
• P(m) ... mündliche Prüfung
• P(s) ... schriftliche Prüfung
• P(PP) ... Praktikumsprotokoll
• P(sA) ... schriftliche Ausarbeitung/Seminararbeit
• P(PA) ... Projektarbeit
• P(PE) ... bewertbares Ergebnis des Praktikums