To content
Courses

Preview of courses for the next semesters

In the following table you will find the teaching schedule of the Department of Computer Science. Please note that in particular

  • courses can be dropped and
  • courses can be added, as well as
  • the scope of courses can change and
  • the organizer can change.

For information on courses taking place, please refer to the online course catalog LSF.

Teaching Planning Bachelor Modules Computer Science and Applied Computer Science

Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS 2025
INF-BSc-101 Computer Structures (RS) (Chen, Fink) P Chen Chen
INF-BSc-102 Data Structures, Algorithms and Programming 1 (DAP 1) (Dean of Studies, Dißmann) P Dißmann Dißmann Dißmann Dißmann
INF-BSc-104 Data Structures, Algorithms and Programming 2 (DAP 2) ((Dean of Studies)) P Coja-Oghlan ?
INF-BSc-105 Hardware Practical Course (HaPra) (Chen, v.d.Brüggen) P v.d.Brüggen v.d.Bruges v.d.Bruges v.d.Brüggen
INF-BSc-106 Logic (Schwentick, Kern-Isberner) P Schwentick ?
INF-BSc-107 Information Systems (IS) (Teubner) P Teubner Teubner
INF-BSc-109 Basic Concepts of Theoretical Computer Science (GTI) (Bollig, Schwentick) P Bollig Schwentick
INF-BSc-110 Proseminar (Dean of Studies) P Teubner Ulbrich Wiederkehr (Pion.d.Inf., incl.Präs.-K.) Hermann Rehof (History of Programming) Weichert (Convolutional Neural Networks) Wiederkehr (Inf. meets MB, incl.Präs.-K.) Buchholz ? (or seminar) Buchin (Algorithms for Programming Competitions) Rudolph Teubner Ulbrich Wiederkehr (Pion.d.Inf., incl.Präs.-K.) Hermann Rehof (History of Programming) Weichert (Convolutional Neural Networks) Wiederkehr (Inf. meets MB, incl.Präs.-K.)
INF-BSc-111 Bachelor Degree Module (Dean of Studies) P all university lecturers
INF-BSc-112 Theoretical Computer Science for Students of Applied Computer Science (TIfAI) (Bollig, Schwentick) P see INFBSc-109 Basic Concepts of Theoretical Computer Science (GTI)
INF-BSc-113 Hardware practical course for students with minor in electrical engineering (Chen, v.d.Brüggen) P see INF-BSc-105 Hardware Practical Course (HaPra)
INF-BSc-115 Software Engineering (SWT) (Dean of Studies, Dißmann) P Hermann Hermann
INF-BSc-116 Software Internship (SoPra) (Howar) P Howar Howar Howar Howar
INF-BSc-117 Operating Systems (BS) ((Dean of Studies)) P Ulbrich Ulbrich
INF-BSc-118 Computer Networks and Distributed Systems (RvS) (Buchholz) P Forester Forester
Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS 2025
INF-BSc-211 Software Design (SWK) (Rehof, Howar) WP Howar Howar
INF-BSc-212 Translator Construction (ÜB) (Steffen, Rüthing) WP Rüthing Rüthing (until SS 2024)
INF-BSc-213 Functional Programming (FuPro) (Rehof) WP Rehof Rehof
INF-BSc-221 Efficient Algorithms (EA) (Dean of Studies) WP Buchin Buchin
INF-BSc-222 Representation, processing, and acquisition of knowledge (DVEW) (Core Isberner). WP
INF-BSc-223 Formal Methods of System Design (FMSE) (Steffen) WP Steffen Steffen (until SS 2024)
INF-BSc-224 Big Data Analytics (E. Müller) WP
INF-BSc-231 Computer Architecture (RA) (Fink, Chen). WP - Chen
INF-BSc-232 Embedded Systems (ES) (Chen) WP Chen Chen
INF-BSc-233 Model-Assisted Analysis and Optimization (MAO) (Buchholz) WP Buchholz Buchholz
INF-BSc-234 Human-Machine-Interaction (MMI) (Weichert) WP Weichert Weichert
INF-BSc-253 Project "Modelling and Simulation" (Buchholz) WP
INF-BSc-254 Specialized Project "Rapid Prototyping with Expander2" (Padawitz) WP Since the lecturer is retiring, he will only offer the module if there is a concrete demand. In this case please write to Prof. Dr. Peter Padawitz.
INF-BSc-255 Specialized Project "Visual Computing" (Weichert) WP Weichert
INF-BSc-256 Specialized project "Technologies for mastering heterogeneous system landscapes" (Steffen) WP Bosselmann/Steffen Bosselmann/Steffen Bosselmann/Steffen Bosselmann/Steffen
INF-BSc-257 Specialized Project "Service-Oriented Programming" (Rehof) WP
INF-BSc-259 Specialized Project "Software in the Automobile" ((Dean of Studies)) WP
INF-BSc-260 Subject Project "Knowledge Modeling" (Core-Isberner) WP
INF-BSc-261 Specialized Project: "Service Information Systems" ((Dean of Studies)) WP
INF-BSc-264 Specialized project: "Tool support for UML and business process models" (Rehof) WP
INF-BSc-266 Specialized Project: "Business Process Analysis & IT-Security" (Rehof) WP
INF-BSc-267 Specialized Project: "Algorithm Engineering" ((Dean of Studies)) WP
INF-BSc-268 Specialized Project: "Digital Entertainment Technologies" (Rudolph) WP Rudolph/N.N.?
INF-BSc-269 Specialized Project: "Data Mining and Data Analysis" (Morik) WP
INF-BSc-270 Specialized Project "Software Techniques for Secure Cloud Computing Systems" (Rehof) WP
INF-BSc-271 Specialized Project "Document Analysis" (Fink) WP
INF-BSc-272 Specialized Project "Ambient Intelligence" (Fink) WP
INF-BSc-273 Specialized Project "Design of Embedded Systems" (Chen) WP
INF-BSc-274 Specialized Project "Geometric Modeling of Manufacturing Processes" (Wiederkehr) WP Siebrecht/Return Siebrecht/Return Siebrecht/Return Siebrecht/Return
INF-BSc-275 Specialized Project "Music Informatics" Rudolph, Vatolkin) WP Rudolph/N.N.?
INF-BSc-25x planned Specialized project "Routing algorithms" (Förster) ? WP
Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS 2025
INF-BSc-301 Digital Image Processing (Weichert) W Weichert Weichert
INF-BSc-302 Security: issues and approaches (Rossow) W Rossow Rossow
INF-BSc-303 Mobile Communication Systems (Buchholz) W
INF-BSc-305 Introduction to Computational Intelligence (Rudolph) W Rudolph
INF-BSc-306 Introduction to the Fundamentals of Model Checking (Schwentick) W
INF-BSc-307 Web Technologies 1 ((Dean of Studies)) W Hermann. ?
INF-BSc-308 Operational Information Systems ((Dean of Studies))see also information on the application subject Service Information Systems W Janiesch Janiesch
INF-BSc-309 Web Technologies 2 ((Dean of Studies)) W Steffen Steffen (until SS 2024)
INF-BSc-310 Electronic Business Processes (Rehof) W Rehof Rehof
INF-BSc-311 Current topics in service informatics (Steffen)see also information on the application subject service informatics W
INF-BSc-316 Software Engineering for Durable Systems (Rehof) W
INF-BSc-317 Databases in Practice (DBprax) (Teubner) W Teubner Teubner
INF-BSc-318 Introduction to Data Visualization (EiDV) (Weichert) W Weichert Weichert
INF-BSc-319 Fundamentals of Data Science (GDW) ((Dean of Students)) W
INF-BSc-320 Concepts and Methods in Theoretical Computer Science (KoMTI) (Schwentick) W Schwentick
INF-BSc-321 Music Data Analysis (MDA) (Weihs (Statistics), (Dean of Students)) W Rudolph/Vatolkin?
INF-BSc-322 Scientific Computing (Botsch)
Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS 2025
INF-BSc-501 Mathematics for Computer Science I (MafI1) (Kern-Isberner, Steffen) Mandatory Steffen Steffen (until WS 2023/24) N.N.
INF-BSc-502 Mathematics for Computer Science 2 (MafI2) ((Dean of Studies)) Mandatory Buchholz Botsch

 

Teaching Planning Master Modules Computer Science and Applied Computer Science

Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS 2025
INF-MSc-101 Project Group P all university teachers
INF-MSc-102 Seminar P Bollig (Computer Science and Ethics) Buchholz (Dependability (?)) Bollig (Fair Clustering (?)) Coja-Oghlan (Coding Theory) Rehof (Principles of Programming Languages) Hermann Rudolph Weichert (Medical Image and Signal Processing) Wiederkehr (Virtual Manufacturing) Weichert (Geometric Deep Learning) Bollig (Computer Science and Ethics) Buchin (Algorithm Engineering) Buchholz ? (or Proseminar) Bollig ? Hermann Rehof(Principles of Programming Languages) Weichert (Medical Image and Signal Processing) Wiederkehr (Virtual Manufacturing) Weichert (Geometric Deep Learning)
INF-MSc-103 Computer Science in Context P Müller (IT Law) Kunstmann/Breuer (Project Management) Müller (IT Law) Müller (IT Law) Kunstmann/Breuer (Project Management) Müller (IT Law)
INF-MSc-104 Master's degree module P all university teachers
INF-MSc-105 Organization and Management P Deuse (Fak.MB) Deuse (Fak.MB) Deuse (Fak.MB)
INF-MSc-106 Study Fundamentals see announcements in LSF
Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS 2025
Research Area: Software, Security and Verification
INF-MSc-211 Methodological Foundations of Software Engineering (Rehof) Base
INF-MSc-213 Virtualization and Compilation (Steffen) Base
INF-MSc-214 Architecture and Implementation of Database Systems (Teubner) Base Teubner Teubner
Research Area: Embedded and Distributed Systems
INF-MSc-221 Modeling and Analysis of Embedded and Distributed Systems (Buchholz) Base Buchholz/Forster Buchholz/Förster
INF-MSc-222 Software of ubiquitous systems ((Dean of Studies)) Base
INF-MSc-223 Real-Time Systems and Applications (Chen) Basic - Chen
Field of research: Intelligent Systems
INF-MSc-231 Practical Optimization (Rudolph) Base
INF-MSc-232 Pattern Recognition (Fink) Base
INF-MSc-233 Graphic Data Processing (Botsch) Base Botsch Botsch
INF-MSc-234 Commonsense Reasoning (Core-Isberner) Basic
INF-MSc-235 Knowledge discovery in databases (Morik) Base
INF-MSc-236 Machine Learning Paradigms for Complex Data (E. Müller) Base
Research Area: Algorithms and Complexity
INF-MSc-241 Algorithms and Data Structures ((Dean of Studies)) Basic Coja-Oghlan Buchin
INF-MSc-242 Complexity Theory (Schwentick) Base Schwentick
Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/2025 SS 2025
Research Area: Software, Security and Verification
INF-MSc-304 Functional and Rule-Based Programming (Padawitz) Vert. Since the lecturer is retiring, he will only offer the module if there is a specific demand. In this case, please write to Prof. Dr. Peter Padawitz.
INF-MSc-305 Fundamentals of Model Checking (Schwentick) Vert.
INF-MSc-311 Introduction to Service Information Systems: Process Modeling (Rehof). Vert.
INF-MSc-313 Aspect-oriented development of complex systems (Steffen) Vert.
INF-MSc-314 Concepts for mastering parallelism (Steffen). Vert.
INF-MSc-315 Monitoring and Evolution of Complex Systems (Steffen). Vert.
INF-MSc-316 Virtualization and Compilation II: Aggressive Model Driven Design (Steffen) Vert.
INF-MSc-318 Logical-algebraic system design (Padawitz) Vert. Since the lecturer is retiring, he will offer the module only if there is a concrete demand. In this case, please write to Prof. Dr. Peter Padawitz.
INF-MSc-320 Model-based software techniques for secure systems ((Dean of Studies)) Vert.
INF-MSc-322 Software Architectures in Finance and Insurance ((Dean of Studies)) Vert.
INF-MSc-323 Semantic Services (Rehof). Vert.
INF-MSc-324 Distributed Systems Theory (Rehof) Vert.
INF-MSc-325 Logical Methods of Software Engineering 1 (LMSE1) (Rehof) Vert. Rehof Rehof
INF-MSc-326 Logical Methods of Software Engineering 2 (LMSE2) (Rehof) Vert. see INF-MSc-326 Logical Methods of Software Engineering 1 (LMSE1)
INF-MSc-327 Current topics in logic-based software engineering (Rehof) Vert. Rehof/Dudenhefner Rehof/Dudenhefner
INF-MSc-328 Technology-Driven Innovation Development: The IT Perspective (Steffen, Rehof). Vert.
INF-MSc-329 Type Systems for Correctness and Security (TSCS) (Hermann) Vert. Hermann Hermann
INF-MSc-330: Selected Chapters of Enterprise Computing (AKEC) (Janiesch). Vert.
Research Area: Embedded and Distributed Systems
INF-MSc-401 Modeling, Simulation and Analysis (Buchholz) Vert. Buchholz Buchholz
INF-MSc-402 Modeling of Distributed Algorithms (Distributed Algorithms 2) ((Dean of Studies)) Vert.
INF-MSc-403 Computer Network Applications ((Dean of Students)) Vert.
INF-MSc-404 Network Security ((Dean of Studies)) Vert.
INF-MSc-406 Distributed Basic Algorithms ((Dean of Studies)) Vert.
INF-MSc-407 Distributed Programming and Numerical Algorithms (Buchholz) Vert. Buchholz
INF-MSc-408 Selected Research Issues in Embedded Systems Software ((Dean of Students)) Vert.
INF-MSc-409 Operating System Engineering ((Dean of Studies)) Vert. Ulbrich Ulbrich
INF-MSc-412 Data Processing on Modern Hardware (Teubner) Vert. Teubner Teubner
INF-MSc-414 Real-Time Operating Systems Design and Implementation (Chen) Vert.
INF-MSc-415 Dependable Systems Software (VSS) (Ulbrich). Vert. Ulbrich Ulbrich
INF-MSc-416 Network Algorithms (NAlg) (Förster) Vert. Forester Forester
INF-MSc-4xx planned Concepts of distributed systems and algorithms (Förster) ? Vert.
Research Area: Intelligent Systems
INF-MSc-501 Selected Chapters in Computational Intelligence (Rudolph). Vert. Rudolph
INF-MSc-502 Computer Vision (Fink) Vert.
INF-MSc-503 Data Visualization (Weichert) Vert. Weichert
INF-MSc-505 Geometric Modeling (Botsch) Vert. Botsch Botsch
INF-MSc-506 Machine Learning (Morik, Schubert) Vert.
INF-MSc-507 Natural language systems (Morik, Schubert) Vert.
INF-MSc-508 Character Recognition (Fink) Vert.
INF-MSc-509 Advanced Topics in Knowledge Representation (FTWR) (Core Isberner). Vert.
INF-MSc-510 IT Management ((Dean of Studies)) Vert. Janiesch Janiesch
INF-MSc-518 Digitalization of manufacturing processes (Wiederkehr) Vert. Wiederkehr Wiederkehr
INF-MSc-519 Learning in Robotics (Hofmann, Fak.ETIT) Vert.
INF-MSc-520 Industrial Data Science 1 (Deuse (Fak.MB), Teubner) Vert. Schubert, Teubner, et al. Schubert, Teubner, et al.
INF-MSc-521 Industrial Data Science 2 (Deuse (Fak.MB), Teubner) Vert. Schubert, Teubner, et al. Schubert, Teubner, et al.
INF-MSc-522 Computer Animation (Botsch) Vert. Botsch Botsch
Research Area: Algorithms and Complexity
INF-MSc-601 Algorithm Engineering ((Dean of Studies)) Vert.
INF-MSc-602 Geometric Algorithms (Buchin) Vert. Buchin Buchin
INF-MSc-603 Selected Chapters in Algorithmics ((Dean of Students)) Vert.
INF-MSc-604 Selected chapters in complexity theory (Schwentick). Vert.
INF-MSc-605 Database Theory (Schwentick) Vert. Schwentick Schwentick
INF-MSc-607 Evolutionary Algorithms (Rudolph) Vert.
INF-MSc-608 Graph Algorithms ((Dean of Students)) Vert.
INF-MSc-609 Logic and Complexity (Schwentick) Vert. Schwentick
INF-MSc-610 Randomized Algorithms (Bollig) Vert.
INF-MSc-611 Theory of Logic Design (Bollig) Vert.
INF-MSc-612 Scheduling Problems - Algorithms and Applications (Schwiegelshohn) Vert.
INF-MSc-613 Text Indexing and Information Retrieval (Fischer) Vert.
INF-MSc-615 Online Problems (Schwiegelshohn) Vert.
INF-MSc-616 Compact Data Structures (Fischer) Vert.
Without fixed assignment to a research area
INF-MSc-701 Tutorial Vert. all professors
INF-MSc-702 Student research project Vert. all professors
Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS 2025
Application subject service informatics
INF-MSc-AF-DLI-101 Seminar from service informatics (N.N.) AF DLI
INF-MSc-AF-DLI-102 IT Management AF DLI see INF-MSc-510 IT Management
INF-MSc-AF-DLI-103 Specialization in service informatics (N.N.)see also information on the application subject service informatics AF DLI

Teaching plan for Bachelor's and Master's modules in didactics of computer science (LABG2009)

Please refer to the above-mentioned modules of the bachelor's degree programs for the teaching schedule of modules in computer science.

Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS2025
INF-BL-102 El.3 Element "Formal Methods 1" of the module Data Structures, Algorithms and Programming 2 BL ((Dean of Studies)) P Bollig Bollig
INF-BL-104 El.1 INF-BL-112 El.1 Element "Formal Methods 2" of the module Basic Concepts of Theoretical Computer Science BL or of the module Theoretical Computer Science for Vocational College (Bollig, Schwentick) P Bollig Bollig
INF-BL-401 Introduction to the Didactics of Computer Science (EDid) Element: Introduction to the Didactics of Computer Science (Fischer) P
INF-BL-401 Introduction to the Didactics of Computer Science (EDid) EIement: Diagnosis and Individual Support (DiF) (Fischer) P
INF-BL-402 Professional field internship (Fischer, Breuer) WP Breuer Breuer Breuer
INF-ML-101 Seminar and Computer Science in Context WP see INF-BSc-110, INF-MSc-102, INF-MSc-103
INF-ML-102 Hardware practical course (HaPra) and seminar BK WP see INF-BSc-105, INF-BSc-110, INF-MSc-102
INF-ML-103 Hardware Practical Course ET (HaPra-ET) and Seminar BK WP see INF-BSc-110, INF-BSc-113, INF-MSc-102
INF-ML-104 Information Systems (IS) P see INF-BSc-107
INF-ML-401 Didactics of Computer Science (DdI) (Fischer) P
INF-ML-402 Practical Semester in Computer Science Element: Preparatory Seminar (Fischer, Pasternak) P
INF-ML-402 Practical Semester Computer Science Element: Accompanying Seminar (Fischer, Pasternak) P

Teaching planning export modules computer science

Please refer to the above-mentioned modules of the Bachelor's and Master's programs for the teaching schedule of the computer science modules not only offered for export.

Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS2025
INF-EXP-102 Data Structures, Algorithms and Programming 1a (DAP 1a) Export see INF-BSc-102
INF-EXP-104 Data Structures, Algorithms and Programming 2a (DAP 2a) Export see INF-BSc-104
INF-EXP-115 Software Engineering a Export see INF-BSc-115
INF-EXP-901 Introduction to Programming (EidP) (Rudolph) Export Rudolph Rudolph
INF-EXP-902 Introduction to Computer Science for Scientists and Engineers (for the course in Business Mathematics - EINI-WiMa) (Hildebrand) Export Hildebrand Hildebrand
INF-EXP-903 Introduction to Computer Science for Scientists and Engineers (for Logistics and Industrial Engineering majors - EINI-LogWing) (Hildebrand) Export see INF-EXP-902
INF-EXP-951 Cyber-Physical System Fundamentals (CPSF) (Chen) Export
INF-EXP-952 Computer Vision (CV) Export see INF-MSc-502
INF-EXP-953 Applied Data Visualization for Medical Physicists (ADV) Export see INF-BSc-318
INF-EXP-954 Medical image processing (MBV) Export see INF-BSc-301
INF-EXP-971 / MB-346 Simulation-based Process Analysis in Machining (Wiederkehr) replaces MB-18/2 Element 2: Simulation Technology in Machining II Export Wiederkehr Wiederkehr

Teaching planning other modules

Courses offered as part of computer science or export modules not listed above.

Module number Module title Type WS 2022/23 SS 2023 WS 2023/24 SS 2024 WS 2024/25 SS 2025
MB-147 Extracurricular Competence (Wiederkehr, Business Game: Machining of Aerospace Components) replaces MB-38: Extracurricular Qualification Export
AR-??? Project Group Export