Final Defense of Santhosh Prabhu

Event Type

Meeting

Sponsor

Department of Computer Science

Location

3102 Siebel Center

Date

Mar 12, 2020   12:00 pm  

Views

96

Originating Calendar

Computer Science Graduate Calendar

Thesis Title: Practical Verification of Network Planes

Committee: Matthew Caesar, Chair/Director of Research

Brighten Godfrey

Tianyin Xu

Alan Mishchenko; UC Berkeley, CS

Aurojit Panda; NYU, CS