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.
Available projects
If you want to do a thesis or semester project with us, so that we can discuss whether we have the right project for you. Please make sure to include your transcripts of records in the email, as well as any background you have that could be benefitial to the project.
Here you can find descriptions for some projects that we currently offer, but there's always a chance to create a new project if an interesting topic can be found.
Master's Theses
Practical Work (semester project)
Bachelor's Theses
(currently none available)
Past and current projects
Semantic fuzzing of the Rust compiler and interpreter
Qian (Andy) Wang (FS 2023)
Download Description (PDF, 117 KB) Download Thesis (PDF, 638 KB)
Towards a formal and executable specification of Rust semantics
Rudi Schneider (FS 2023)
Download Thesis (PDF, 436 KB)
Adding Pointer Support to Miri’s FFI
Lucas Werner (Spring 2024, in progress)
Download Description (PDF, 336 KB)
Formalization of Rust Drop Elaboration
Viktor Fukala (Spring 2024)
Download Description (PDF, 129 KB) Download Thesis (PDF, 431 KB)
Implementing Enums in MiniRust
Timon Meyer (Fall 2023)
Download Description (PDF, 119 KB) Download Thesis (PDF, 247 KB)
Introducing Concurrency to MiniRust
Yannik Wyss (Spring 2023)
Download Description (PDF, 86 KB) Download Thesis (PDF, 331 KB)
Verifying Lazy Lists Using Iris
Daniel Nezamabadi (HS 2024)
Download Description (PDF, 99 KB)