Teaching

Lectures and Practical Courses

• Introduction to Software Engineering (EIST). Summer 2025.
• Introduction to Software Engineering (EIST). Summer 2024.
• Practical course: Advanced Systems Programming in C/Rust. Winter 2023.
• Practical course: Advanced Systems Programming in C/Rust. Summer 2023.

Advised Theses

For potential thesis/guided research topics, see this list.

In Progress

AirLift: Automatically Generating a Binary Lifter from the Arm Machine-Readable Architecture Specification
Master’s Thesis.

Finished

2025

Evaluation of the Performance of the Memory Tagging Extensions
Raphael Dichler, Bachelor’s Thesis.
Co-advised with Ilya Meignan--Masson.
[Thesis]

Microarchitectural Analysis of CHERI on the Morello Platform
Yude Jiyang, Bachelor’s Thesis.
Co-advised with Masanori Misono.
[Thesis]

Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation
Konstantin Garbers. Bachelor’s Thesis.
[Thesis]

Empirical Study of Memory Safety Bugs in Database Systems.
Lan Ouyang, Master’s Thesis.
Co-advised with Ilya Meignan--Masson and Dimitrios Stavrakakis.
[Thesis]

2024

Evaluating CHERI for Hardware-Assisted Memory Safety in Databases
Cristian Sandu, Master’s thesis.
Co-advised with Ilya Meignan--Masson and Dimitrios Stavrakakis.
[Thesis]

2023

Hardware-Assisted Memory Safety for WebAssembly
Fritz Rehde, Bachelor’s thesis.
[Thesis]