Outreach activities

Sometimes the most interesting work is buried in papers written only for specialists. This page collects several outreach activities that have been a part of my group's research, which deliver to a broader audience recent work in networked systems by our group and others. This work was funded in part by NSF CAREER Award #1149895.

If you're interested in presenting or adapting this material, you are welcome to contact me for associated Keynote presentation slides, and other materials.

Network Verification From Algorithms To Deployment

November 3, 2017

Half-day tutorial at ASE 2017, with Santhosh Prabhu

Network Verification From Algorithms To Deployment

June 21, 2017

Tutorial at the 2nd Hebrew University Networking Summer, June 18-22, 2017. Slides linked above; video forthcoming!

Cloud Networking

2015 - present

Massive Online Open Course (MOOC) developed with Ankit Singla available on Coursera

Data Plane Verification

June 11, 2013

With Ahmed Khurshid. Three lectures at the Summer School on Formal Methods and Networks, June 10-14, 2013, held at Cornell University. Slides and videos available on the summer school web site.

Networks and Games

July 24, 2012 (revised 2013)

Sessions at UIUC Worldwide Youth in Science and Engineering (WYSE) Discover Engineering Camp, 24 July 2012; WYSE Exploring Your Options Camp, 8 July 2013; WYSE Discover Engineering Camp, 25 July 2013. Includes a live demo of a physical realization of Braess's paradox, via a set of springs, rope, and bricks.

Current Directions in Networking and Cloud Computing

July 10, 2012

Seminar at Imam University Futures in Information Technology Program, held at UIUC for visiting students from Imam University, Saudi Arabia.

Jellyfish: Networking Data Centers Randomly

April 24, 2012

This article presents to a general audience the results of our work developing highly efficient and flexible networks to support cloud computing and big data analytics. (CRA/CCC Computing Research Highlight of the Week, 16 June 2012.)