Kalender
On 14 juni
-
Disputationer
Datalogi
onsdag 2023-06-14, 15.00
Plats: D3 Lindstedtsvägen 9
Videolänk: https://kth-se.zoom.us/j/69872122832
Respondent: 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 (Disputationer) D3 Lindstedtsvägen 9 (KTH, Stockholm, Sweden)Formal Verification of Peripheral Memory Isolation (Disputationer)