Devon Loehr will present his General Exam " A Hiding Algorithm for Automatically Discovering Abstractions during Network Verification on" on May 1, 2020 at 1pm via Zoom. Link to Zoom meeting: [ https://princeton.zoom.us/j/727524014 | https://princeton.zoom.us/j/727524014 ] The members of his committee are as follows: David Walker (adviser), Aarti Gupta, and Zachary Kincaid Links to abstract and reading list can be found here: [ https://docs.google.com/document/d/1717QtFNjCW59xQFzqqHY3AOd_GLrJDKCkgqxvHjO... | https://docs.google.com/document/d/1717QtFNjCW59xQFzqqHY3AOd_GLrJDKCkgqxvHjO... ] [ https://docs.google.com/document/d/1bGMXc880i0oUsIt-9Jg7VZNn9n9L5dmf4sQUBjjX... | https://docs.google.com/document/d/1bGMXc880i0oUsIt-9Jg7VZNn9n9L5dmf4sQUBjjX... ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.