Adviser: Appel
Readers: David Walker, Nate Foster (Cornell)
Examiners: Appel, Rexford, Kincaid
Date and Time
Thursday August 24, 2023 2:30pm -
4:30pm
Event Type
08-24
Qinshi Wang FPO "Formally verifiable data plane programming" in CS 402
Contributions to and/or sponsorship of any event does not constitute departmental or institutional endorsement of the specific program, speakers or views presented.