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.
• Evaluating MTE for Hardware-Assisted Memory Safety in Databases
  Bachelor’s Thesis.
• Microarchitectural Analysis of CHERI on the Morello Platform
  Bachelor’s Thesis.

Finished

• Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation
  Konstantin Garbers. Bachelor’s Thesis, 2025.
  [Thesis]
• Empirical Study of Memory Safety Bugs in Database Systems.
  Lan Ouyang. Master’s Thesis, 2025.
  Co-advised with Ilya Meignan--Masson and Dimitrios Stavrakakis.
  [Thesis]
• Evaluating CHERI for Hardware-Assisted Memory Safety in Databases
  Cristian Sandu. Master’s Thesis, 2024.
  Co-advised with Ilya Meignan--Masson and Dimitrios Stavrakakis.
  [Thesis]
• Hardware-Assisted Memory Safety for WebAssembly
  Fritz Rehde. Bachelor’s Thesis, 2023.
  [Thesis]