Instructor:
Dieter van Melkebeek.
Email: dieter@cs.wisc.edu.
Phone: 608-262-4196.
Lectures: TR 2:30-3:45pm in 119 Noland.
Office hours: T 4-6pm and W 2:30-3:30pm in 4390 CS&S.
Teaching Assistant:
Cong Han Lim.
Email: conghan@cs.wisc.edu.
Phone: 608-890-3913.
Review sessions: W 7:15-9:15pm in 1207 CS&S.
Office hours: M 3:30-5:00pm and F 2:30-3:30pm in 3367 CS&S.