16 Jun
309 days,
Friday
16
June
2023,
at
15:00
-
Building 5510, room 104, Incuba Lille Auditorium, Åbogade 15, 8200 Aarhus N
On Friday, June 16 2023, Aïna Linn Georges will defend her PhD thesis: Designing and Proving Robust Safety of Efficient Capability Machine Programs
R…