Teaching

Students

Current

  • Guannan Wei (PhD), Purdue
  • Hannah Leung (PhD), Purdue
    • Research on dependent object types (DOT).
  • Nitin John Raj (Undergrad), Purdue
    • Research on dependent object types (DOT).
  • Vaastav Arora (Undergrad), Purdue
    • Research project on coeffect systems in Scala 3/Dotty.

Former

  • 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

Purdue University

TU Darmstadt

  • Team supervisor for the Software Engineering Project (SEP), where students work with industry partners on real-world projects.
  • Type Systems for Programming Languages, SS 2015, Seminar.