2012 Poster Sessions : Header Space Analysis: Static Checking for Networks

Student Name : Peyman Kazermian
Advisor : Nick McKeown
Research Areas: Computer Systems
Header space analysis is a static checking method for testing computer networks for problems such as forwarding loops, reachability failures and slicing issues in a protocol agnostic way. We can also use this method to design a dynamic and runtime testing mechanism to monitor the health of the network. We can detect and pinpoint problems such as hardware failure, link failure, congestion or resource over-utilization to the exact device and rule that is causing the problem.

Peyman Kazemian is a 5th year graduate student advised by Prof. Nick McKeown. His research interests include network modeling, analysis and debugging and software defined networks.