Teaching

  • Fall 2013 : COS 340 : Reasoning about Computation.
  • Spring 2013 : COS 340 : Reasoning about Computation.
  • Fall 2012 : COS 445 : Networks, Economics and Computing.
  • Spring 2012 : COS 340 : Reasoning about Computation.
  • Fall 2011 : COS 340 : Reasoning about Computation.