Aïna Linn Georges's PhD defence of "Designing and Proving Robust Safety of Efficient Capability Machine Programs"
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