Aïna Linn Georges's PhD defence of "Designing and Proving Robust Safety of Efficient Capability Machine Programs"
Info about event
Time
Location
Building 5510, room 104, Incuba Lille Auditorium, Åbogade 15, 8200 Aarhus N
Price
Free DKK
On Friday, June 16 2023, Aïna Linn Georges will defend her PhD thesis: Designing and Proving Robust Safety of Efficient Capability Machine Programs