Navigation

Professur Betriebssysteme
Schülerpraktikum

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