01-27
Charlie Murphy FPO "Relational Verification of Distributed Systems via Weak Simulations"

Advisor: Zachary  Kincaid
Readers: Arti Gupta and Lennart Beringer
Examiners: Wyatt Llyod and Dave Walker

 

 

Location: TBD

Date and Time
Friday January 27, 2023 11:00am - 1:00pm
Not yet determined.
Event Type
FPO

Contributions to and/or sponsorship of any event does not constitute departmental or institutional endorsement of the specific program, speakers or views presented.

CS Talks Mailing List