Teaching
I was an instrutor for the following course:
- Independent Study: Category Theory (Princeton University.
Fall 2018, Fall 2021)
I was a teaching assistant for the following courses:
- COS 226: Data Structures and Algorithms (Princeton University.
Spring 2019)
- COS 326: Functional Programming (Princeton University.
Fall 2018)
- CIS 500: Software Foundations (University of Pennsylvania.
Spring 2016)
- CIS 261: Discrete Probability, Stochastic Processes, and
Statistical Inference (University of Pennsylvania. Fall 2014, Fall
2015)
- CIS 160: Mathematical Foundation of Computer Science
(University of Pennsylvania. Summer 2014, Summer 2015)