Student Projects

Our group offers projects for Bachelor's and Master's theses as well as practical work and “Research in Computer Science” projects during the Master's program. Currently we do not yet have many projects lined up; please if you want to hear some ideas for possible projects or have a project idea yourself.

Past and current projects

Semantic fuzzing of the Rust compiler and interpreter
Qian (Andy) Wang (FS 2023)
DownloadDescription (PDF, 117 KB) DownloadThesis (PDF, 638 KB)

Towards a formal and executable specification of Rust semantics
Rudi Schneider (FS 2023)
DownloadThesis (PDF, 436 KB)

Adding Pointer Support to Miri’s FFI
Lucas Werner (Spring 2024, in progress)
DownloadDescription (PDF, 336 KB)

Formalization of Rust Drop Elaboration
Viktor Fukala (Spring 2024, in progress)
DownloadDescription (PDF, 129 KB)

Implementing Enums in MiniRust
Timon Meyer (Fall 2023)
DownloadDescription (PDF, 119 KB) DownloadThesis (PDF, 247 KB)

Introducing Concurrency to MiniRust
Yannik Wyss (Spring 2023)
DownloadDescription (PDF, 86 KB) DownloadThesis (PDF, 331 KB)