teaching

I am passionate about teaching and have TAed a number of classes.

MIT
6.814/6.830 Database Systems, Spring 2021

CMU
15-445 Database Systems, Fall 2018
15-316 Software Foundations of Security and Privacy, Spring 2018
15-414 Bug Catching: Automatic Program Verification and Testing, Fall 2017
15-214 Principles of Software System Construction, Spring 2016, Fall 2016, Spring 2017
15-150 Functional Programming, Fall 2015