My Teaching


Spring 2017
CSCI 1950-Y (Logic for Systems)
CSCI 018 (Integrated Intro to CS, Semester II)
Spring 2016
CSCI 1950-Y (Logic for Systems)
Spring 2015
CSCI 1950-Y (Logic for Hackers)
Spring 2014
CSCI 1950-Y (Logic for Hackers)