Planned Course Offerings (subject to change)

Fall 2011

  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 555 Computer Image Processing (Raheja)
  • CS 570 Human Computer Interaction (Kerbs)
  • CS 599 Graduate Special Topics--Distributed Intelligence in Robotics (Tang)

Winter 2012

  • CS 523 Expert Systems (Liu)
  • CS 525 Advanced Computer Architecture (Tang)
  • CS 535 Parallel and Distributed Algorithms (Young)
  • CS 580 Advanced Software Engineering (Salloum)
  • CS 664 Graduate Seminar (Sang)

Spring 2012

  • CS 517 Natural Language Processing (Fisher)
  • CS 521 Robotics (Soroka)
  • CS 575 Topics in Database Systems (Salloum)

Fall 2012

  • CS 515 Automated Reasoning (Fisher)
  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 580 Advanced Software Engineering (Jaspan)

Winter 2013

  • CS 565 Advanced Computer Networks (Young)
  • CS 585 Software Verification and Validation (Jaspan)
  • CS 599 Graduate Special Topics -- Robotics (Tang)
  • CS 664 Graduate Seminar (Raheja)

Spring 2013

  • CS 525 Advanced Computer Architecture (Yang)
  • CS 537 Scheduling Algorithms (Young)
  • CS 541 Programming Language Semantics (Fisher)

Fall 2013

  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 519 Computer Vision (Raheja)
  • CS 599 Graduate Special Topics (Husain)

Winter 2014

  • CS 525 Advanced Computer Architecture (Husain)
  • CS 535 Parallel and Distributed Algorithms (Young)
  • CS 599 Graduate Special Topics -- Distributed Intelligence (Tang)
  • CS 664 Graduate Seminar (TBD)

Spring 2014

  • CS 580 Advanced Software Engineering (Jaspan)
  • CS 517 Natural Language Processing (Fisher)
  • CS 599 Graduate Special Topics (Salloum)

Fall 2014

  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 515 Automated Reasoning (Fisher)
  • CS 555 Computer Image Processing (Raheja)

Winter 2015

  • CS 525 Advanced Computer Architecture (Husain)
  • CS 565 Advanced Computer Networks (Young)
  • CS 585 Software Verification and Validation (Jaspan)
  • CS 664 Graduate Seminar (TBD)

Spring 2015

  • CS 580 Advanced Software Engineering (TBD)
  • CS 521 Robotics (Tang)
  • CS 537 Scheduling Algorithms (Young)
  • CS 541 Programming Language Semantics (Fisher)