Devon Loehr will present his General Exam "A Hiding Algorithm for Automatically Discovering Abstractions during Network Verificationon" on May 1, 2020 at 1pm via Zoom.

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:

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