Contact Information

Instructors:

Clark Barrett
Email: barrett@cs.nyu.edu
Office Phone: 212-998-3105
Office: 403 Warren Weaver Hall

Amir Pnueli
Email: amir@cs.nyu.edu
Office Phone: 212-998-3225
Office: 402 Warren Weaver Hall