My Teaching


Spring 2016
CSCI 1950-Y (Logic for Systems)
Spring 2015
CSCI 1950-Y (Logic for Hackers)
Spring 2014
CSCI 1950-Y (Logic for Hackers)