1. Winter 2022: EECS 598 Category Theory
  2. Fall 2021: EECS 483 Compiler Construction