Planned Course Offerings (subject to change)

Fall 2007

  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 555 Computer Image Processing (Raheja)
  • CS 575 Topics in Database Systems (Salloum)

Winter 2008

  • CS 521 Robotics (Tang)
  • CS 541 Programming Language Semantics (Rich)
  • CS 585 Software Verification and Validation (Lee)
  • CS 664 Graduate Seminar (Sang)

Spring 2008

  • CS 525 Advanced Computer Architecture (Tang)
  • CS 535 Parallel and Distributed Algorithms (Young)
  • CS 580 Advanced Software Engineering (Fisher)

Fall 2008

  • CS 515 Automated Reasoning (Fisher)
  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 540 Topics in Compiler Design (Rich)
  • CS 555 Computer Image Processing
  • CS 560 Bioinformatics for Computer Scientists (Lee)

Winter 2009

  • CS 519 Computer Vision (Lee)
  • CS 531 Computability and Complexity Theory
  • CS 570 Human Computer Interaction
  • CS 580 Advanced Software Engineering (Salloum)
  • CS 599 Graduate Special Topics (Tang)
  • CS 664 Graduate Seminar (Graduate Coordinator)

Spring 2009

  • CS 517 Natural Language Processing
  • CS 525 Advanced Computer Architecture (Tang)
  • CS 531 Computability and Complexity Theory (Sang)
  • CS 565 Advanced Computer Networks (Kerbs)
  • CS 566 Distributed Computing Systems
  • CS 599 Graduate Special Topics (Young)

Fall 2009

  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 555 Computer Image Processing (Raheja)
  • CS 570 Human Computer Interaction (Kerbs)
  • CS 575 Topics in Database Systems (Salloum)

Winter 2010

  • CS 510 Computer-Assisted Instruction (Kerbs)
  • CS 523 Expert Systems (Liu)
  • CS 541 Programming Language Semantics (Rich)
  • CS 585 Software Verification and Validation (Lee)
  • CS 664 Graduate Seminar (Salloum)

Spring 2010

  • CS 521 Robotics (Soroka)
  • CS 525 Advanced Computer Architecture (Tang)
  • CS 535 Parallel and Distributed Algorithms (Young)
  • CS 580 Advanced Software Engineering (Salloum)

Fall 2010

  • CS 515 Automated Reasoning
  • CS 530 Advanced Algorithm Design and Analysis
  • CS 540 Topics in Compiler Design
  • CS 560 Bioinformatics for Computer Scientists

Winter 2011

  • CS 519 Computer Vision
  • CS 531 Computability and Complexity Theory
  • CS 570 Human Computer Interaction
  • CS 580 Advanced Software Engineering
  • CS 664 Graduate Seminar

Spring 2011

  • CS 517 Natural Language Processing
  • CS 525 Advanced Computer Architecture
  • CS 565 Advanced Computer Networks
  • CS 599 Graduate Special Topics