CS611 Fall 2006 Course Staff Information
Name Position Email Phone Office/consulting hours
Dexter Kozen Instructor 255-9209 Upson 5143, MWF 11:15am–12pm or by appt.
Benyah Shaparenko Teaching Assistant 255-3009 Upson 5156, M 2pm–3pm, Th 2:45pm–3:45pm, F 11am–12pm or by appt.
Kelly Patwell Administrator 255-7790 Upson 5147 (no office hours)
To contact course staff, it is usually best to send mail to cs611-L@cs.cornell.edu or post to the newsgroup cornell.class.cs611.