2017

  • Models of Computation, at UvA (Teaching assistant).

  • 2016

  • Logic and Set Theory (2IT60), at TU/e (Instructor).

  • Process Algebra (2IMF10), at TU/e (Teaching assistant).

  • Models of Computation, at UvA (Teaching assistant).

  • 2015

  • Logic and Set Theory (2IT60, 2IT07), at TU/e (Instructor).

  • Process Algebra (2IF45), at TU/e (Teaching assistant).

  • 2014

  • Process Algebra (2IF45), at TU/e (Teaching assistant).

  • 2013

  • Algorithm, for master students, spring, 2013, at SJTU (Teaching assistant).

  • 2012

  • Discrete Mathematics, for undergraduates, autumn, 2012, at SJTU (Teaching assistant).

  • Computability Theory, for undergraduates, spring, 2012, at SJTU (Teaching assistant).