Calendar
Thu 16 February - Sun 31 December
-
Public defences of doctoral theses
Friday 2023-02-24, 13:30
Location: Kollegiesalen, Brinellvägen 6
Video link: https://kth-se.zoom.us/j/63393781380
Doctoral student: He Ye , Teoretisk datalogi, TCS
2023-02-24T13:30:00.000+01:00 2023-02-24T13:30:00.000+01:00 Improving the Precision of Automatic Program Repair with Machine Learning (Public defences of doctoral theses) Kollegiesalen, Brinellvägen 6 (KTH, Stockholm, Sweden)Improving the Precision of Automatic Program Repair with Machine Learning (Public defences of doctoral theses) -
Public defences of doctoral theses
Computer Science
Friday 2023-06-02, 09:00
Location: L1, Drottning Kristinas väg 30, Stockholm
Video link: https://kth-se.zoom.us/j/68807417997
Doctoral student: 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 (Public defences of doctoral theses) L1, Drottning Kristinas väg 30, Stockholm (KTH, Stockholm, Sweden)Proving Safety and Security of Binary Programs (Public defences of doctoral theses) -
Public defences of doctoral theses
Computer Science
Friday 2023-06-02, 09:00
Location: E2, Lindstedtsvägen 3, Stockholm
Video link: https://kth-se.zoom.us/j/66441177033
Doctoral student: 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 (Public defences of doctoral theses) E2, Lindstedtsvägen 3, Stockholm (KTH, Stockholm, Sweden)Towards Privacy Preserving Intelligent Systems (Public defences of doctoral theses) -
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) -
Lectures and seminars
Wednesday 2023-09-06, 10:00
Participating: Javier Cabrera
Location: Fantum
Video link: Zoom
2023-09-06T10:00:00.000+02:00 2023-09-06T10:00:00.000+02:00 80% Seminar About Automatic WebAssembly Diversficiation (Lectures and seminars) Fantum (KTH, Stockholm, Sweden)80% Seminar About Automatic WebAssembly Diversficiation (Lectures and seminars) -
Lectures and seminars
Wednesday 2023-09-20, 14:00
Participating: Aravind Ashok Nair
Location: Henrik Eriksson
Video link: Zoom
2023-09-20T14:00:00.000+02:00 2023-09-20T14:00:00.000+02:00 Modeling Structure and Behavior using Graph Machine Learning (80% Seminar) (Lectures and seminars) Henrik Eriksson (KTH, Stockholm, Sweden)Modeling Structure and Behavior using Graph Machine Learning (80% Seminar) (Lectures and seminars) -
Lectures and seminars
Friday 2023-09-22, 11:00
Participating: Boel Nelson
Location: Room 1440
Video link: Zoom
2023-09-22T11:00:00.000+02:00 2023-09-22T11:00:00.000+02:00 Towards Provable Transport Layer Privacy (Lectures and seminars) Room 1440 (KTH, Stockholm, Sweden)Towards Provable Transport Layer Privacy (Lectures and seminars) -
Public defences of doctoral theses
Computer Science
Monday 2023-12-11, 09:00
Location: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm
Doctoral student: Zimin Chen , Teoretisk datalogi, TCS
2023-12-11T09:00:00.000+01:00 2023-12-11T09:00:00.000+01:00 Source Code Representations of Deep Learning for Program Repair (Public defences of doctoral theses) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Source Code Representations of Deep Learning for Program Repair (Public defences of doctoral theses)