Teaching

• CIS341: Compilers   [class], Undergraduate level course, taught by Steve Zdancewic, University of Pennsylvania, Spring 2022.
• CIS500: Software Foundations   [class], Graduate level course, taught by Benjamin Pierce, University of Pennsylvania, Fall 2021.
• DeepSpec REU: Undergraduate Research Summer Program   [blog post]. Taught course on Coq proof assistant, mentored two undergraduates on a cryptography verification project – proved properties of Benes networks in Coq. University of Pennsylvania, Summer 2021.
• 6.828: Operating Systems Engineering [class], MIT Graduate level Systems course, taught by Frans Kaashoek and Adam Belay, PDOS CSAIL, MIT, 2018.
• 6.858: Computer Systems Security [class], MIT Graduate level, Systems course, taught by Frans Kaashoek and Nickolai Zeldovich, PDOS CSAIL, MIT, 2018.
• Effective Programming in C and C++ [class] [source] [slides], MIT Open Coursware (OCW), last taught IAP 2015
• 6.857: Computer and Network Security [class], MIT Graduate level, Systems/Theory course, taught by Ronald Rivest, CSAIL, MIT, 2015.
• 6.042: Mathematics for Computer Science [class], MIT Intro level, Theory course, taught by Albert Meyer, CSAIL, MIT, 2015.