Teaching

2024

Summer

• Lecture: Introduction to Software Engineering

  Winter

• Seminar: Accelerated Computing Systems
• Seminar: Operating Systems and Virtualization
• Practical course: Systems Programing

2023

Summer

• Practical course: Advanced Systems Programing in C/Rust

  Winter

• Practical course: Computer Systems Lab

2022

Summer

• Practical course: Advanced Systems Programing in C/Rust

Supervised Theses

2024

Summer

• Nicola Crivellin: “Execution State Comparison for Emulators using Symbolic Execution”

Winter

• Alp Berkman: “Automated Test Case Generation for Emulators using Symbolic Execution”