Simon Oddershede Gregersen's PhD defence of "Higher-Order Separation Logic for Distributed Systems and Security"
Oplysninger om arrangementet
Tidspunkt
Sted
Building 5510, room 104, Lille Aud, InCuba, Aarhus University, Åbogade 15, 8200 Aarhus N
Pris
Free DKK
On Friday, March 17 2023, Simon Oddershede Gregersen will defend his PhD thesis: Higher-Order Separation Logic for Distributed Systems and Security