I just finished cleaning up some older course websites and (finally!) switching all my stuff to use HTTPS. In honor of that, here’s a roundup of all the courses I’ve taught in the last four years.

And that’s the last four years of teaching! In 2022-23, I’m scheduled to teach another grad seminar (maybe about distributed systems verification, but I’ll decide later) in winter, and undergrad PL again in spring.