Aïna Linn Georges's PhD defence of "Designing and Proving Robust Safety of Efficient Capability Machine Programs"
![](/fileadmin/_processed_/3/2/csm_Aina_Linn_Georges_588651e971.jpg)
Oplysninger om arrangementet
Tidspunkt
Sted
Building 5510, room 104, Incuba Lille Auditorium, Åbogade 15, 8200 Aarhus N
Pris
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