Teaching Summer 2022 HoTTEST Summer School 2022 Fall 2021 CSCI 5106: Programming Languages Spring 2021 CSCI 2041: Advanced Programming Principles Fall 2020 CSCI 2041: Advanced Programming Principles