Moodle

The course including Kick-Off and Application and Submissions, is handled via Moodle

Application

Before registering for the course, you need to apply for a topic. Participation is limited because of individual supervision. The deadline is usually some time in the first week of TU Darmstadt Semester “Courses Start” date! If there are too many applicants, we will decide based on your motivation text (see Moodle for the registration).

You can sign up alone or in a team of two persons. To find a team partner, you may use our Moodle forum. As an (unofficial) communication channel, you may try to find like-minded students in Discord.

Topics

We will have ca. 10 slots available this semester. Topics will be finalized and published here by 13th April Monday. Until then, compare the (seminar) topics from last semester.

title
C1: Access -- Policy-based access control for weakly consistent replication
C2: Pickling -- Serialization with Pickler Combinators in Scala
D1: SampCert -- Differential Privacy in Lean
J1: Gleam -- Fault Tolerant Distributed Programs using Actors and Static Typing
J2: Veil -- A Framework for Automated and Interactive Verification of Distributed Systems
S1: Chorex -- multiparty session actor framework
S2: Maty -- a multiparty session type actor language
T1: Einsum -- Programming with Einstein Summation Notation
T2: Linear -- Linear Types and Borrowing in Haskell