Courses of Study 2023-2024 
    Jul 24, 2024  
Courses of Study 2023-2024 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 5114 - [Software-Defined Networking]

Fall. Not offered: 2023-2024. Next offered: 2024-2025. 4 credits. Student option grading.

Prerequisite: CS 4110 , CS 6110 , CS 6410 . Co-meets with CS 6114 .

N. Foster.

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.

Add to Favorites (opens a new window)