Hier finden Sie alle Veranstaltungen aus den Wahlbereichen im B./M.Sc. Informatik sowie verwandter Studiengänge, ausgenommen Lehramts-/Serviceveranstaltungen sowie Unterstützungskurse (Ophase, Tutorenkurse, Mentoring).

Die Kommunikationsfähigkeit der Bevölkerung untereinander ist für die Bewältigung von Krisen von höchster Bedeutung. In dieser Veranstaltung wird der Aufbau von drahtlosen Kommunikationsnetzen von Null behandelt, d.h. unter der Annahme, dass keinerlei Kommunikationsinfrastruktur mehr vorhanden ist. Die Veranstaltung vermittelt theoretische Grundlagen aus den Bereichen der Nachrichtentechnik und des Amateurfunks und vertieft diese um die nötigen Kenntnisse, um Netze für den Krisenfall zu entwerfen und praktisch zu realisieren. Die vorgestellten Verfahren umfassen dabei Reichweiten von lokaler Kommunikation bis hin zur Kommunikation um den ganzen Globus, ohne auf bestehende Infrastruktur angewiesen zu sein. Theoretische Übungen sowie das Durchführen von Messungen, der Aufbau von Schaltungen und die Vorführung von Funkverfahren in unserer Laborumgebung vertiefen die Veranstaltung.

  • Signale, Wellenausbreitung, Antennen und elektrotechnische Grundlagen
  • Verfahren zur Modulation und Demodulation analoger und digitaler Signale (OFDM, ATV/SSTV, Packet Radio, SSB, …)
  • Systemaspekte für Kommunikation im Krisenfall
  • Entwurf und praktischer Aufbau von drahtlosen Kommunikationssystemen für den Krisenfall von Null

Erste Veranstaltung: Dienstag, 17. Oktober 2023, 16:15

The Internet Praktikum Telekooperation (IPTK) introduces students to new and emerging technologies for Internet applications, such as P2P, Semantic Web, Web 2.0, or mobile technologies, which are becoming the basic building blocks of the next generation of Internet services. Through practical exercises, students learn how protocols and technologies of the Internet and the WWW work and implement them in practice.

The focus and background of this semester's projects is "Remote Collaboration", where multiple users can access and modify the same content simultaneously in an interactive application running on their smartphones. The project will encompass a mix of Android and Backend development to ensure synchronized simultaneous access to the same content across different devices. The development process will follow a scrum-process up until the finished product. This should be fun!

Among others, some projects of previous lab courses were: 

  • A Corona app with an integrated platform for trading essential goods
  • A Social Network that allows to share pictures and recommends you others to befriend, based on common interests 
  • A Game that utilizes a device's location. Treasure hunts, running apps, Among Us in the real world were just some of the ideas students came up with 

At the kick-off meeting of the lab course, details about each project and grading procedure will be presented.

Erste Veranstaltung: Mittwoch, 18. Oktober 2023, 17:10

Website for the course on Automated Theorem Proving


The course is given in digital form. All information will be made available at the Moodle course website before the first lecture.


  • Theoretical foundations of calculi for automated theorem proving in first-order logic 
  • Correctness and completeness proofs 
  • Algorithms and data structures used in first-order logic theorem provers 
  • Comparison of different approaches to first-order theorem proving 
  • Foundations of modern SAT and SMT solvers 

Robinson, Voronkov: Handbook of Automated Reasoning, 2 vols., North-Holland 


Highly recommended is participation in the lecture “Aussagen- und Prädiketenlogik” or a similar module on propositional and first-order logic. Basic training in mathematics should be sufficient.

Mainstream programming languages share most of their core concepts, such as functions, variables, scopes, heap storage, and many more. In this course, we explore these concepts in a systematic and principled way, that is independent of specific languages and their syntax. Notably, starting from nothing, we implement a family of toy languages that have successively more and more advanced features, enabling to understand these important but abstract concepts very concretely, and enabling experimentation with different language features.

This course will happen in the WS 2023 – in case some information is still outdated please contact mogk@cs.tu-darmstadt.de

In this software project, students will address tasks related to a wide range of NLP research areas, e.g., argumentation mining, text summarization, information extraction, anaphora resolution, and more. Possible project ideas will be presented in the first lecture.

The students' task in this course will be to execute one of the projects in a small group or individually. This involves, for example, constructing a corpus, analyzing large datasets, training deep neural networks, evaluating a model's performance, carrying out error analysis, and creating prototypes. The mentoring research staff will define the project requirements. Students will regularly meet with their mentors to discuss the progress of the project.

Empfohlene Voraussetzungen

  • Grundlegende Kenntnisse im Umgang mit Embedded Linux
  • Bluespec SystemVerilog aus Architektur und Entwurf von Rechnersystemen (AER)
  • Grundlegende Kenntnisse in C


Diese Veranstaltung richtet sich an Studierende, die grundlegende Kenntnisse im Design von Hardwarebeschleunigern im Rahmen eines Systems-on-Chip erhalten möchten. Im Rahmen des Praktikums erhalten Studierende umfangreiche Einblicke in relevante Themen wie:

  • Treiber für selbst erstellte Hardwarebeschleuniger
  • Einbindung von in Bluespec erstellten Beschleunigern in ein Xilinx ZynqMP-SoC
  • Toolchains für Hardware- und Software-Komponenten

Die Teilnehmer werden im Rahmen des Praktikums Aufgaben zu einem typischen Einsatzgebiet von Hardwarebeschleunigung bearbeiten. Ein typisches Anwendungsgebiet eines solchen Hardwarebeschleunigers ist die Verarbeitung und Erfassung von Kamerabildern, zum Beispiel im Rahmen von Stereo Vision.

Database management systems (DBMS) in the cloud are the backbone for managing large volumes of data efficiently and thus play a central role in business and science today. For providing high performance, many of the most complex DBMS components such as query optimizers or schedulers involve solving non-trivial problems.

To tackle such problems, very recent work has outlined a new direction of so-called learned DBMS components where AI-based methods are used to replace and enhance core DBMS components which has shown to provide significant performance benefits. This route is in particular interesting since Cloud vendors such as Google, Amazon, and Microsoft are already applying these techniques to optimize the performance their cloud data systems.

Furthermore, AI has also been used for improving many other data management related tasks such as data engineering tasks (e.g., error detection and correction in databases or data transformation and data augmentation) which typically cause high manual overhead and can be automated by the use of AI. Finally, AI has also been used for extending databases by better data access interfaces (e.g., natural languague querying and chatbots for data) or by supporting data beyond structured tabular data (i.e., text and images).

This seminar serves the purpose to understand the basic concepts of how AI can be used for data management. In the first part of the seminar, participants will learn the basics of AI for data management along with implementing a case study themselves. In the second part, every participant will select and present a recent research paper. The papers will typically be recent publications in relevant research venues and journals such as SIGMOD, VLDB or ICML, NeurIPS.

The seminar kick-off will typically be in the first two weeks of the semester where we discuss the organization of the seminar. Further information can be found at: http://tuda.systems

Advanced topic in formal specification and verification of object-oriented software


Dieser Moodle-Kurs dient dem Austausch von Materialien, Folien, Aufzeichnungen, Übungen, Quizzen etc. 

Kurs: Informationssicherheitsmanagement
Kürzel: ISM
Inhalte: Darstellung des Managements der organisatorischen und prozessualen Informationssicherheit in Unternehmen
Wann: Montags, 10:45 - 12:15 Uhr
Vor Ort: S1|01 A4
Remote: Livestream mit Aufzeichnung auf Panopto
Klausur: Dienstag, 20. Februar 2024, 12:00 (S2|02 C205, S1|03 221, S1|03 226)


Erste Veranstaltung: Montag, 16. Oktober 2023, 10:45
Prüfungsdatum (falls Klausur): Dienstag, 20. Februar 2024, 12:00

Algorithmische Komplexität von kryptographischen Bausteinen wie One-Way-Funktionen, digitalen Signaturen, Commitments, Verschlüsselungen etc. Insbesondere ihre Relationen, z.B. ob man aus jedem Signaturverfahren auch ein Verschlüsselungsverfahren bauen kann. Gelegentliche "Ausflüge" in die Komplexitätstheorie, sofern relevant.

Erste Veranstaltung: Dienstag, 17. Oktober 2023, 15:20

Seminar on deductive and interactive verifiers for establishing program correctness

Distributed computation has enabled great scalability in various application areas, e.g., Big Data, Machine Learning, etc., but the correct operation of a large number of compute nodes requires reliable coordination and (meta)data replication. In this seminar we take a deep dive in the underlying algorithms and protocols for coordination and replication, namely consensus algorithms.

The seminar is based on research paper reading at home and discussions/presentations in class. For the first part of the seminar, your instructor will present the seminal works and lead the discussion. In the second part of the seminar, you will take the lead and present the state-of-the-art protocols and discuss their benefits/drawbacks in practice.

This seminar will be useful for students aiming for an industry job or research career in the general area of distributed systems. Familiarity with consensus protocols and understanding of the underlying core concepts is fundamental for building safe, reliable and efficient distributed systems!

In this seminar we survey recent research on using reconfigurable hardware accelerators, namely, Field Programmable Gate Arrays (FPGAs), to accelerate analytical data processing. Such accelerators are being adopted as a way of overcoming the recent stagnation in CPU performance because they can implement algorithms differently from traditional CPUs, breaking traditional trade-offs.

The purpose of the seminar is to familiarize students with the inner working of FPGAs and discuss their benefits in the context of analytical processing, both as an accelerator within a single node database and as part of distributed data analytics pipelines. The seminar also covers architectural trends that are propelling the rapid adoption of accelerators in datacenters and the cloud. We present guidelines for accelerator design, as well as examples of integration within full-fledged Relational Databases. We do so through the prism of recent research papers that explore how emerging compute-intensive operations in databases can benefit from FPGAs.

Das Serious Games Praktikum und Projektseminar sind praxisorientierte Veranstaltungen, in denen in Gruppen von 3-5 Studerende Projekte im Bereich Serious Games umgesetzt werden.

Viele Themen können entweder als Praktikum oder als Projektseminar belegt werden, wobei der jeweilige Fokust beachtet wird.

Im Serious Games Seminar wird eine schriftliche wissenschaftliche Ausarbeitung angefertigt zu bestimmten Themen im Bereich Serious Games.

Nach einer allgemeinen Themenvorstellung können Studierende sich auf Themen mittels Exposés bewerben.