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: https://docs.google.com/document/d/1tqGGDKKITVk2cgv_0zdHb7VPSsJkTAkNGJUlY6kT... https://docs.google.com/document/d/1tqGGDKKITVk2cgv_0zdHb7VPSsJkTAkNGJUlY6kT...