Calendar
Fri 15 March
-
Public defences of doctoral theses
Computer Science
Friday 2024-03-15, 13:00
Location: Kollegiesalen, Brinellvägen 8, Stockholm
Video link: https://kth-se.zoom.us/j/61999411575
Doctoral student: Christian Lidström , Teoretisk datalogi, TCS
2024-03-15T13:00:00.000+01:00 2024-03-15T13:00:00.000+01:00 Automated Deductive Verification of Safety-Critical Embedded Software (Public defences of doctoral theses) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Automated Deductive Verification of Safety-Critical Embedded Software (Public defences of doctoral theses)