Cantor Meets Scott - Semantic Foundations for Probabilistic Networks
Offered By: Paul G. Allen School via YouTube
Course Description
Overview
Explore a comprehensive seminar on the semantic foundations of probabilistic networks in software-defined networking (SDN). Delve into the design and implementation of ProbNetKAT, a high-level network programming language equipped with a random choice operator for expressing probabilistic behaviors. Learn about the language's semantics using Markov Kernels and its applications in reasoning about quantitative network properties such as congestion, latency, and fault tolerance. Gain insights from Nate Foster, an Associate Professor of Computer Science at Cornell University, as he discusses the gap between current programming models and modern network realities, highlighting the importance of incorporating probabilistic behaviors in network programming languages.
Syllabus
PLSE Seminar Series N Foster, "Cantor Meets Scott: Semantic Foundations for Probabilistic Networks"
Taught by
Paul G. Allen School
Related Courses
Data Plane ProgrammingKarlstad University via Independent Networking with Python: Socket Programming for Communication
Raspberry Pi Foundation via FutureLearn Dart Masterclass Programming Course: iOS/Android Bible
Udemy Learn Nodejs by building 12 projects
Udemy jQuery Masterclass Course: JavaScript and AJAX Coding Bible
Udemy