CS 5114

Last Updated

  • Schedule of Classes - February 7, 2022 7:27PM EST
  • Course Catalog - February 7, 2022 7:14PM EST

CS 5114
Software-Defined Networking

Course information provided by the Courses of Study 2021-2022.

This course provides an introduction to novel programming languages for controlling computer networks. It will examine recent proposals based on logic, functional, and streaming languages, as well as tools for establishing the correctness of programs written in such languages using SAT/SMT solvers, model checkers, and proof assistants. Evaluation will be based on class participation and projects.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: CS 4110, CS 6110, CS 6410.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 6114

  • 4 Credits Stdnt Opt

  • 10932 CS 5114   LEC 001

  •  
    • TR Upson Hall 216
    • Aug 26 - Dec 7, 2021

    • Foster, N

  • Instruction Mode: In Person
    Enrollment limited to CIS students only. All others should add themselves to the waitlist during add/drop. See enrollment webpage for more details: https://www.cs.cornell.edu/courseinfo/enrollment/cs-4000-5000-level-courses