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. This list is not exhaustive, we always have some vague project ideas that are not sufficiently fleshed out yet, so it's worth reaching out to us even if none of the projects suits you. We are also open to students coming with their own project ideas.
Master's Theses
- Download Formalizing higher-order separation logic in Lean (PDF, 150 KB)
- Download Logical relations à la carte (PDF, 200 KB)
Practical Work (semester project)
Bachelor's Theses
(currently no prepared topics available, please contact us)
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 Finer-Grained Tracking of Interior Mutability to Tree Borrow
Xinglu Chen (Spring 2025, in progress)
Download Description (PDF, 167 KB)
A Type Checker For Specr
Philipp Thiel (Autumn 2024)
Download Description (PDF, 152 KB) Download Thesis (PDF, 478 KB)
Adding Pointer Support to Miri’s FFI
Lucas Werner (Spring 2024)
Download Description (PDF, 336 KB) Download Thesis (PDF, 870 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)
Making Rust to MiniRust translation practical
Christof Leutenegger (SS 2024)
Download Description (PDF, 105 KB)
Logical Atomicity in Iris
Rudy Peterson (HS 2024)
Download Description (PDF, 177 KB)
VIcious cycle free Interaction Nets
Nils Cremer (SS 2025)
Download Description (PDF, 403 KB)