Schülerpraktikum
Der automatische Korrektor
Verantwortlich: Matthias Werner
Die Professur verwendet für die Lehre ein automatisiertes Abgabesystem für Übungsaufgaben (OpenSubmit). Im Rahmen des Praktikums sollen Validatorprogramme entstehen, welche studentische Übungslösungen auf ihre Korrektheit überprüfen. Voraussetzung sind Kenntnisse in der Programmiersprache C. Kenntnisse in der Skriptsprache Python sind von Vorteil, können aber auch in der ersten Woche des Praktikums selbständig erarbeitet werden.Neben der Projektarbeit wird der Schüler auch am universitären Alltag (Vorlesung, Übung, Meetings) teilnehmen, um einen besseren Eindruck von der täglichen Arbeit an einer Universität zu erhalten.
Bearbeitet als Schülerpraktikum
Start: offen
Heuristic Risk Treatment with TLA+
Verantwortlich:
Bearbeitet von Albrecht Stoye
Bearbeitet als Forschungspraktikum
Start: 19.05.2022
Ende: 07.04.2023
Formal Modeling of Meta-Functional Properties of the RaSTA Protocol
Verantwortlich: Billy Naumann
Bearbeitet von Jonas Henschel
Bearbeitet als Master-Arbeit
Start: 01.07.2022
Ende: 13.12.2022