16 jun
309 dage,
Fredag
16.
juni
2023,
kl.
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…