- Schedule of Classes - February 7, 2022 7:27PM EST
- Course Catalog - February 7, 2022 7:14PM EST
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.
Regular Academic Session. Combined with: CS 5114
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
- TR Upson Hall 216
- Aug 26 - Dec 7, 2021
Instruction Mode: In Person
Seats are reserved for graduate students only. See enrollment page for more details: https://www.cs.cornell.edu/courseinfo/enrollment/cs-6000-level-courses
Disabled for this roster.