Kalender
To 1 juni - Sö 31 december
-
Disputationer
Datalogi
fredag 2023-06-02, 09.00
Plats: L1, Drottning Kristinas väg 30, Stockholm
Videolänk: https://kth-se.zoom.us/j/68807417997
Respondent: Andreas Lindner , Teoretisk datalogi, TCS
2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Proving Safety and Security of Binary Programs (Disputationer) L1, Drottning Kristinas väg 30, Stockholm (KTH, Stockholm, Sweden)Proving Safety and Security of Binary Programs (Disputationer) -
Disputationer
Datalogi
fredag 2023-06-02, 09.00
Plats: E2, Lindstedtsvägen 3, Stockholm
Videolänk: https://kth-se.zoom.us/j/66441177033
Respondent: Md Sakib Nizam Khan , Teoretisk datalogi, TCS
2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Towards Privacy Preserving Intelligent Systems (Disputationer) E2, Lindstedtsvägen 3, Stockholm (KTH, Stockholm, Sweden)Towards Privacy Preserving Intelligent Systems (Disputationer) -
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) -
Disputationer
Datalogi
måndag 2023-12-11, 09.00
Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm
Respondent: Zimin Chen , Teoretisk datalogi, TCS
2023-12-11T09:00:00.000+01:00 2023-12-11T09:00:00.000+01:00 Källkodsrepresentationer för djupinlärning av Programreparation (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Källkodsrepresentationer för djupinlärning av Programreparation (Disputationer)