Nick Giannarakis will present his FPO "An Intermediate Language for Network Verification" on Friday, 9/11/2020 at 3pm via Zoom.

Link to Zoom: https://princeton.zoom.us/j/8048625570

The members of his committee are as follows: Examiners: David Walker (Adviser), Andrew Appel, and Jennifer Rexford; Readers: Aarti Gupta and Ratul Mahajan (University of Washington)

A copy of his thesis, is available upon request. Please email ngotsis@cs.princeton if you would like a copy of the thesis.

Everyone is invited to attend his talk. 

Abstract follows below:

https://drive.google.com/file/d/1ejMK4RSAX0lF72EALcMxxPfjXZ4Hh-Mr/view?usp=sharing