Calendar
Mon 12 June - Sun 18 June
-
Public defences of doctoral theses
Computer Science
Wednesday 2023-06-14, 15:00
Location: D3 Lindstedtsvägen 9
Video link: https://kth-se.zoom.us/j/69872122832
Doctoral student: Jonas Haglund , Teoretisk datalogi, TCS
2023-06-14T15:00:00.000+02:00 2023-06-14T15:00:00.000+02:00 Formal Verification of Peripheral Memory Isolation (Public defences of doctoral theses) D3 Lindstedtsvägen 9 (KTH, Stockholm, Sweden)Formal Verification of Peripheral Memory Isolation (Public defences of doctoral theses)