Planned Course Offerings (subject to change)

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 555 Computer Image Processing (Raheja)
  • CS 599 Graduate Special Topics (Husain)

Winter 2014

  • CS 580 Advanced Software Engineering (Salloum)
  • CS 535 Parallel and Distributed Algorithms (Young)
  • CS 599 Graduate Special Topics -- Distributed Intelligence (Tang)
  • CS 664 Graduate Seminar (Manna)

Spring 2014

  • CS 525 Advanced Computer Architecture (Husain)
  • CS 517 Natural Language Processing (Manna)
  • CS 599 Graduate Special Topics (Salloum)

Fall 2014

  • CS 580 Advanced Software Engineering (TBD)
  • CS 515 Automated Reasoning (Fisher)
  • CS 599 Advanced Information Security (Husain)
  • CS 599 Information Retrieval (Manna)

Winter 2015

  • CS 530 Advanced Algorithm Design and Analysis (Young)
  • CS 519 Computer Vision (Raheja)
  • CS 565 Advanced Computer Networks (Young)
  • CS 585 Software Verification and Validation (TBD)
  • CS 664 Graduate Seminar (TBD)

Spring 2015

  • CS 525 Advanced Computer Architecture (Husain)
  • CS 521 Robotics (Tang)
  • CS 537 Scheduling Algorithms (Young)
  • CS 541 Programming Language Semantics (Fisher)