Simon Oddershede Gregersen's PhD defence of "Higher-Order Separation Logic for Distributed Systems and Security"

Info about event
Time
Location
Building 5510, room 104, Lille Aud, InCuba, Aarhus University, Åbogade 15, 8200 Aarhus N
Price
On Friday, March 17 2023, Simon Oddershede Gregersen will defend his PhD thesis: Higher-Order Separation Logic for Distributed Systems and Security