Instructor: Alan Borning
Office Hours: Mon Wed 2:30-3:20
(Since this is right after class, I may
be a bit late back to my office if I end up talking with students afterwards.)
Co-instructor (for formal semantics):
Todd Millstein
Teaching Assistant:
Vassily Litvinov
Email: vass@cs
Office Hours: Thu 1:30-2:20, Sieg 226a