Teaching

Students & Mentees

I’ve been fortunate to mentor many talented students and colleagues.

Current

• Yichen Xu (PhD), EPFL
  • Research on Scala capturing types and separation checking.
• Nguyen Pham (PhD), EPFL
  • Research on capturing types and the Scala Gears asynchronous programming library.
• Yaoyu Zhao (PhD), EPFL
  • Research on capturing types and agentic systems.
• James You University of Waterloo, Summer 2026
  • Google Summer of Code on compile-time specialization in Scala 3 (host org: Typelevel).

Former

• Guannan Wei (PhD), Purdue, now an assistant prof. at Tufts
  • Research on staged symbolic execution and reachability types.
• Siyuan He (PhD), Purdue
  • Research on reachability types/ownership type systems.
• David Deng (PhD), Purdue
  • Research on reachability types/ownership/effect systems.
• Anxhelo Xhebraj (PhD), Purdue, now at NVidia
  • Research on 2nd-class values and intermediate representations for functional programming languages.
• Matthias Krebs, TU Darmstadt, 2018-2019
  • Master’s Thesis : Implementing Abstract Dependent Classes with SMT Solving.
• Fabian Muscariello, TU Darmstadt, 2015
  • Bachelor’s Thesis : A Unifying Framework for Complex Event Processing.

Courses

EPFL

• Agentic-Systems Security (CS-620) (co-taught with Martin Odersky), Seminar.

Purdue University

• Compilers: Principles and Practice (CS352) (co-lectured with Tiark Rompf), Spring 2020 and 2022.

TU Darmstadt

• Team supervisor for the Software Engineering Project (SEP), where students work with industry partners on real-world projects.
  • JustTUit and Team Micro, 2018, Customer: AKA Ausfuhrkredit GmbH
  • BigBib, 2015, Customer: CoSee GmbH
  • 6Gems, 2014, Customer: Capgemini
• Type Systems for Programming Languages, SS 2015, Seminar.
• Teaching Assistant for Concepts of Programming Languages (COPL), 2014-2015, Lecture.