| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| CMS Research Project Immersive Visualisation | 0/0/12 | english | Jun.-Prof. McGinity | Software- und Multimediatechnik |
| CMS Research Project Machine Learning | 0/12/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| CMS Research Project Model Checking | (0/0/12) | english | Dr. Klüppelholz | Theoretische Informatik |
| Research Project Computational Life Science | 0/0/12 | english | Prof. Sbalzarini | Künstliche Intelligenz |
| Research Project Knowledge-Based Systems (CMS) | 0/0/12 | english | Prof. Krötzsch, Dr. Mennicke | Theoretische Informatik |
| Research Project Interactive Visual Computing | 0/0/12 | english | Prof. Dachselt | Software- und Multimediatechnik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Hauptseminar Immersive Media | 0/2/0 | english | Jun.-Prof. McGinity | Software- und Multimediatechnik |
| Rule-based Paradigms in Knowledge Representation | 0/2/0 | english | Prof. Krötzsch, Dr. Ellmauthaler | Theoretische Informatik |
| Seminar Knowledge Representation and Reasoning | 0/2/0 | english | Prof. Hölldobler | Künstliche Intelligenz |
| Seminar Selected Topics in Logic and Verification | 0/2/0 | english | Prof. Baier | Theoretische Informatik |
| Course | hours per week | Language | Lecturer | Institute | Exam |
|---|---|---|---|---|---|
| Philosophy of Science and good Scientific Practice | 2/0/0 | english | Prof. Sbalzarini | Künstliche Intelligenz | benotetes Referat |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Scalable Data Engineering | 2/2/0 | english | Prof. Lehner, Dr. Hartmann | Systemarchitektur |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Advanced Problem Solving and Search | 2/2/0 | english | Dr. Gómez Álvarez | Künstliche Intelligenz |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| High Performance Computing | 2/2/0 | english | Prof. Nagel | Technische Informatik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Knowledge Graphs | 2/2/0 | english | Prof. Krötzsch | Theoretische Informatik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Computergraphik II | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Machine Learning I | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Basic Numerical Methods | 2/2/0 | english | Prof. Sbalzarini | Künstliche Intelligenz |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Stochastic Modeling and Simulation | 2/2/0 | english | Prof. Sbalzarini | Künstliche Intelligenz |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Design Patterns and Frameworks | 2/2/0 | english | Dr. Götz | Software- und Multimediatechnik |
| Model-Driven Software Development in Technical Spaces | 2/2/0 | english | Prof. Aßmann | Software- und Multimediatechnik |
| Software as a Business | 2/0/2 | english | Prof. Aßmann | Software- und Multimediatechnik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Data Visualization | 2/2/0 | english | Prof. Gumhold, Prof. Dachselt | Software- und Multimediatechnik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Basic Numerical Methods | 2/2/0 | english | Prof. Sbalzarini | Künstliche Intelligenz |
| Computer Vision I | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Computergraphik II | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Data Visualization | 2/2/0 | english | Prof. Gumhold, Prof. Dachselt | Software- und Multimediatechnik |
| Introduction to Mathematical Biology II: Continuum Models | 2/1/0 | english | Dr. Brusch, Prof. Deutsch | Technische Informatik |
| Machine Learning I | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Stochastic Modeling and Simulation | 2/2/0 | english | Prof. Sbalzarini | Künstliche Intelligenz |
| User Interface Engineering | 2/0/0 | german/english | Prof. Dachselt, Dr.-Ing. Lehmann | Software- und Multimediatechnik |
| User Interface Engineering - Exercise accompanying the lecture | 0/2/0 | german/english | Prof. Dachselt, Dr.-Ing. Lehmann | Software- und Multimediatechnik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Formal Argumentation for Artificial Intelligence | 2/2/0 | english | Dr. Cramer | Künstliche Intelligenz |
| Fuzzy Description Logic | 2/2/0 | english | Dr.-Ing. Borgwardt | Theoretische Informatik |
| Human Reasoning and the Weak Completion Semantics | 4/2/0 | english | Prof. Hölldobler | Künstliche Intelligenz |
| Integer Programming | 3/1/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Introduction to Non-monotonic Reasoning | 2/2/0 | english | Dr. Turhan | Theoretische Informatik |
| Seminar Knowledge Representation and Reasoning | 0/2/0 | english | Prof. Hölldobler | Künstliche Intelligenz |
| Seminar Theoretical Computer Science | 0/2/0 | english | Prof. Baader, Dr. Turhan | Theoretische Informatik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| (Tutorial) Logic Programming Engineering | 0/2/0 | english | Dr. Klüppelholz | Theoretische Informatik |
| Foundations of Knowledge Representation | 2/2/0 | english | Dr. habil. Straß | Künstliche Intelligenz |
| Foundations of Logic Programming | 2/0/0 | english | Dr. Gaggl | Künstliche Intelligenz |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Complexity Theory | 4/2/0 | english | Prof. Krötzsch | Theoretische Informatik |
| Lab Course Modeling and Automated Verification | 0/2/0 | english | Prof. Baier | Theoretische Informatik |
| Model Checking | 4/4/0 | english | Prof. Baier, Dr. Klüppelholz | Theoretische Informatik |
| Rule-based Paradigms in Knowledge Representation | 0/2/0 | english | Prof. Krötzsch, Dr. Ellmauthaler | Theoretische Informatik |
| Seminar Selected Topics in Logic and Verification | 0/2/0 | english | Prof. Baier | Theoretische Informatik |
| Term Rewriting Systems | 4/2/0 | english | Prof. Baader | Theoretische Informatik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Team Project Model Checking | 0/0/8 | english | Dr. Klüppelholz | Theoretische Informatik |
| Team Project Knowledge-Based Systems (CMS) | 0/0/8 | english | Prof. Krötzsch, Dr. Mennicke | Theoretische Informatik |
| Course | hours per week | Language | Lecturer | Institute |
|---|---|---|---|---|
| Computer Vision I | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Computer- und robotergestütze Chirurgie | 2/2/0 | english | Prof. Speidel, Dr.-Ing. Bodenstedt | Andere Fakultäten |
| Computer Graphics I | 2/2/0 | english | Prof. Gumhold | Software- und Multimediatechnik |
| Computergraphik II | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| Data Visualization | 2/2/0 | english | Prof. Gumhold, Prof. Dachselt | Software- und Multimediatechnik |
| High Performance Computing | 2/2/0 | english | Prof. Nagel | Technische Informatik |
| Machine Learning I | 2/2/0 | english | Prof. Dr. Andres | Künstliche Intelligenz |
| User Interface Engineering | 2/0/0 | german/english | Prof. Dachselt, Dr.-Ing. Lehmann | Software- und Multimediatechnik |
| User Interface Engineering - Exercise accompanying the lecture | 0/2/0 | german/english | Prof. Dachselt, Dr.-Ing. Lehmann | Software- und Multimediatechnik |
Day/Room
Weeks
semester as defined in the exam regulation. The modules are shown with their starting semester, thus modules taking more than one semester to complete may be shown with a lower semester number than the students actually have..
master level This course is intended for students in the master and diploma programs. This course is optional and only recommended for students with advanced knowledge.
module In addition to the modules of the Bachelor/Master/Diplom Informatik, Medieninformatik and Informationssystemtechnik programs the following modules for other study programs have been defined:
and the following pseudo modules for older non-modularized study programs
Exams The type and duration of exams are defined in the module handbook. Exceptions thereof are modules INF-AQUA, INF-B-510/20/30/40, INF-B-610 and INF-D-940 - the offered courses explicitly state the exam type and duration. Possible exam types are as follows::