I am teaching the following courses in Spring 2013, all in TLB 109 (TCSS440 and TCSS540 are colocated):
  • TCSS440 - Formal Models in Computer Science, T/Th 13:30-15:35
  • TCSS540 - Theory of Computing, T/Th 13:30-15:35
  • TCSS558 - Applied Distributed Computing, T/Th 16:15-18:20