Teaching & Mentoring
Teaching assistant at ETH Zurich since 2023, most consistently in Compiler Design, where I teach type checking. Students there prove a program safe directly from the typing rules, the same move, in miniature, that the rest of my research makes at kernel scale.
Courses
- 2023–2026 Compiler Design, ETH Zurich Teaching assistant, lectures and exercises on type checking
- 2026 Stochastics and Machine Learning, ETH Zurich Teaching assistant
- 2024, 2025 Data Modeling and Databases, ETH Zurich Teaching assistant
- 2024, 2025 Software Engineering Seminar, ETH Zurich Teaching assistant
Student supervision
- 2026 Tynan Richards, Master's thesis, ETH Zurich A reentrancy-safe smart contract language via a compile-time effect system
- 2025 Hoang Duong, Summer research fellowship, École Polytechnique An eBPF JIT compiler benchmark; uncovered in-kernel JIT optimizations, published at the eBPF Workshop '26
- 2025 Li Shi, Master's thesis, ETH Zurich Hunting io_uring bugs through context-free workload generation
- 2024 Andreas Bur, Practical work, ETH Zurich A dedicated fuzzer for the KVM subsystem in Linux
- 2024 Jason Zibung, Practical work, ETH Zurich Low-level system design: snapshotting multi-threaded programs
If you are an ETH student looking for a thesis or semester project on kernel verification, fuzzing, or verified code generation, write to me.