Divya Raghunathan will present her General Exam on Thursday, May13, 2021 at 10AM via Zoom.

Zoom Link: https://princeton.zoom.us/j/93346199082

The members of her committee are: Aarti Gupta (adviser), David Walker, Jennifer Rexford

Everyone is invited to attend her talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

Title: An Abstraction for Network Control Plane Verification

Link to Abstract and Reading List: