YoVDO

Cantor Meets Scott - Semantic Foundations for Probabilistic Networks

Offered By: Paul G. Allen School via YouTube

Tags

Network Programming Courses Fault Tolerance Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Programming
Karlstad 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