- Schedule of Classes - June 15, 2021 7:14PM EDT
- Course Catalog - June 15, 2021 7:15PM EDT
Course information provided by the Courses of Study 2020-2021. Courses of Study 2021-2022 is scheduled to publish by July 1.
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 Spring.
Prerequisites/Corequisites Prerequisite: CS 4110, CS 6110, CS 6410.
Regular Academic Session. Combined with: CS 6114
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
- TRTo Be Assigned
- Aug 26 - Dec 7, 2021
Instruction Mode: Planned for 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
Or send this URL: