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

• Evaluating MTE for Hardware-Assisted Memory Safety in Databases
  Raphael Dichler, Bachelor’s Thesis.
  Co-advised with Ilya Meignan--Masson.
• Microarchitectural Analysis of CHERI on the Morello Platform
  Yude Jiyang, Bachelor’s Thesis.
  Co-advised with Masanori Misono.
• 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]