teaching

University of Califoria, Berkeley

[CS 164] Programming Languages and Compilers (Fall 2020)

[EECS 219C] Formal Methods: Specification, Verification, and Synthesis (Spring 2019)

University of British Columbia

[CS 221] Basic Algorithms and Data Structures (2014)

[CS 213] Introduction to Computer Systems (2014)

[CS 121] Models of Computation (2013)