Nate Foster

Professor, Networked Systems Abstractions Lab

Jane Street

1 standalone talk · 1 total lecture · 2h recorded

Computer Systems & Software

Standalone talks by Nate Foster

Self-contained public lectures, keynote addresses, and research seminars.

The Network as a Program: Formal Methods in Network Engineering

1:34:36

Systems & CS·Research Seminar

The Network as a Program: Formal Methods in Network Engineering

Nate Foster·Jane Street

Professor Nate Foster discusses applying programming language theory and formal methods to network engineering, exploring software-defined networks, hyperscaler hardware, and the role of BGP.