Charlie Murphy FPO "Relational Verification of Distributed Systems via Weak Simulations"
Date and Time
Friday, January 27, 2023 - 11:00am to 1:00pm
Location
Not yet determined.
Type
FPO
Advisor: Zachary Kincaid
Readers: Arti Gupta and Lennart Beringer
Examiners: Wyatt Llyod and Dave Walker
Location: TBD
