Nate Foster is an Associate Professor of Computer Science at Cornell University. The primary goal of his research is to develop languages and tools that make it easy for programmers to build secure and reliable systems. Professor Foster’s current work focuses on the design and implementation of domain-specific programming languages for software-defined networks. In the past, he has worked on bidirectional languages (also known as “lenses”), database query languages, data provenance, type systems, mechanized proof, and formal semantics. Professor Foster received a Ph.D. in Computer Science from the University of Pennsylvania, an MPhil in History and Philosophy of Science from Cambridge University, and a B.A. in Computer Science from Williams College. His awards include a Sloan Research Fellowship, an NSF CAREER Award, a Most Influential POPL Paper Award, a Tien ’72 Teaching Award, a Cornell Engineering Research Excellence Award, two Google Research Awards, a Yahoo! Academic Career Enhancement Award, and the Morris and Dorothy Rubinoff Award.
Verifying Network Properties With SDNCornell Course
Course Overview
Network monitoring is historically focused since it enables networking professionals to view and analyze what has happened in a network. Conversely, network verification is future focused since it enables network professionals to predict what could happen in a network based on a specification. In this course, you will specify SDNs in terms of high-level intents. You will then practice verifying SDNs using static and dynamic techniques. By the end of this course, you will have the skills you need to better understand how networks are verified, adding to your toolkit for informed application of software-defined networking.
You are required to have completed the following courses or have equivalent experience before taking this course:
- Building Your First Software-Defined Network
- Optimizing the Flow of Data Through Your Network Using SDN
- Getting Visibility Into Network Conditions Using SDN
- Enhancing Your SDN With Special Boxes
Key Course Takeaways
- Specify SDNs in terms of high-level intents
- Verify SDNs using static techniques
- Verify SDNs using dynamic techniques
How It Works
Course Authors
Mina Tahmasbi Arashloo is a postdoctoral researcher working with Professors Nate Foster and Rachit Agarwa in the computer science department at Cornell University. Dr. Arashloo received her Ph.D. in computer science from Princeton University, where she was honored to have Professor Jennifer Rexford as her advisor. Prior to Princeton, she earned her B.Sc. degree in Computer Engineering from the Department of Computer Engineering at Sharif University of Technology, Iran. Dr. Arashloo’s research is primarily focused on networked systems, with an emphasis on software-defined networking (SDN) and programmable data planes. She has recently been focusing on how to exploit programmability to create networks that are verifiably robust across the stack, from the protocols themselves down to the switch and network interface card (NIC) hardware that processes packets.
Who Should Enroll
- Network administrators and architects
- Network engineers and operators
- Aspiring SDN engineers
- Enterprise network system installers
- System administrators and integrators
- Solutions designers
- DevOps teams
- NFV technologists
100% Online
cornell's Top Minds
career