### 2017

Models of Computation, at UvA (Teaching assistant).

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

### 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).