CS 4110: Programming Languages and Logics, Fall 2016

Monday, Wednesday, and Friday
at 9:05–9:55am
in Gates G01

Staff

Instructor

Adrian Sampson
asampson@cs.cornell.edu

Teaching Assistants

• Seung Hee Han
  sh969@cornell.edu
• Andrew Hirsch
  akhirsch@cs.cornell.edu
• Eric Perdew
  ecp84@cornell.edu
• Sujit Rao
  sr869@cornell.edu
• Michael Roberts
  mbr82@cornell.edu