Planned Course Offerings (subject to change)

Fall 2014

  • CS 580 Advanced Software Engineering (Sun)
  • CS 515 Automated Reasoning (Fisher)
  • CS 599 Graduate Special Topics, Advanced Information Security (Husain)
  • CS 599 Graduate Special Topics, Information Retrieval (Manna)

Winter 2015

  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 565 Advanced Computer Networks (Young)
  • CS 555 Image Processing (Raheja)
  • CS 585 Software Verification and Validation (Sun)
  • CS 664 Graduate Seminar (TBD)

Spring 2015

  • CS 525 Advanced Computer Architecture (Husain)
  • CS 521 Robotics (Tang)
  • CS 537 Scheduling Algorithms (Young)
  • CS 599 Graduate Special Topics (Manna)

Fall 2015

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

Winter 2016

  • CS 580 Advanced Software Engineering (Sun)
  • CS 535 Parallel and Distributed Algorithms (Young)
  • CS 599 Graduate Special Topics, Distributed Intelligence in Robotics (Tang)
  • CS 664 Graduate Seminar (TBD)

Spring 2016

  • CS 525 Advanced Computer Architecture (Husain)
  • CS 517 Natural Language Processing (Manna)
  • CS 599 Graduate Special Topics, Software Metrics and Models (Salloum)

Fall 2016

  • CS 530 Advanced Algorithm Design and Analysis
  • CS 585 Software Verification and Validation
  • CS 599 Graduate Special Topics, Advanced Information Security
  • CS 599 Graduate Special Topics, Information Retrieval

Winter 2017

Spring 2017

  • CS 525 Advanced Computer Architecture
  • CS 537 Scheduling Algorithms
  • CS 555 Image Processing
  • CS 575 Topics in Database Systems