Teaching

Spring 2023 - Introduction to Computer Systems (CPS 210)
Fall 2022 - Operating Systems (CPS 510)
Fall 2021 - Secure Software Systems (CPS 590.01)