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)