Contact Information

Instructor:

Amir Pnueli
Email: amir@cs.nyu.edu
Office Phone: 212-998-3225
Office: 505 Warren Weaver Hall
Office Hours: M 4-5pm, W 2-3pm or by appointment