LOGIC FOR
SYSTEMS

Staff

Please do not email TAs individually unless you have a question specific to their grading. Instead, email cs1950ytas or cs1950yheadtas at lists.brown.edu. If you do need to email a TA individually, take their login and add @cs.brown.edu

Office Hours

Instructor

Tim Nelson
Login: tn
Office Hours: M 2:30-3:30pm in CIT355

Head TAs

Katya Schwiegershausen
Login: kschwieg
Office Hours: W 7:30-9:30pm in CIT203

Sorawee Porncharoenwase
Login: sporncha
Office Hours: Sun 4-6pm in CIT203

Grad TA

John Wrenn
Login: jswrenn

TAs

Aaron Zhang
Login: azhang6
Office Hours: Th 6-8pm in CIT203

Benjamin Navetta
Login: bnavetta
Office Hours: M 8-10pm in CIT203

Marianne Aubin Le Quere
Login: maubinle
Office Hours: W 5:30-7:30pm in CIT203

Peter Cooper
Login: peter
Office Hours: Tues 8-10 pm in CIT203

Sara Hartse
Login: shartse
Office Hours: Th 4-6pm in CIT203