Department of Computer Science
I previously taught:
Fall 2016: CS 4110, “Programming Languages and Logics.”
This is Cornell’s undergraduate programming languages elective. 4110 is full of content you’d expect to find in a graduate PL course.
I am teaching:
Spring 2017: CS 6110, “Advanced Programming Languages.”
This is our graduate programming languages course. 6110 is a “competency” course, which means that most PhD students will eventually take it.