Aarhus University Seal

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

Info about event

Time

Friday 17 March 2023, at 13:00 - at

Location

Building 5510, room 104, Lille Aud, InCuba, Aarhus University, Åbogade 15, 8200 Aarhus N

Price

Free DKK

On Friday, March 17 2023, Simon Oddershede Gregersen will defend his PhD thesis: Higher-Order Separation Logic for Distributed Systems and Security

Read more here.