Kalender
Lö 1 november - On 31 december
-
Disputationer
Datalogi
fredag 2025-11-07, 09.00
Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm
Respondent: Ahmed E. Samy , Programvaruteknik och datorsystem, SCS
2025-11-07T09:00:00.000+01:00 2025-11-07T09:00:00.000+01:00 Representation Learning on Graphs (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Representation Learning on Graphs (Disputationer) -
Disputationer
Datalogi
måndag 2025-12-08, 13.00
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Videolänk: https://kth-se.zoom.us/j/61627100868
Respondent: Didrik Lundberg , Teoretisk datalogi, TCS, Saab AB, Sweden
2025-12-08T13:00:00.000+01:00 2025-12-08T13:00:00.000+01:00 Formal Verification of Software-Defined Network Elements and Machine Code (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Formal Verification of Software-Defined Network Elements and Machine Code (Disputationer) -
Disputationer
torsdag 2025-12-11, 09.00
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Videolänk: https://kth-se.zoom.us/j/65545597811
Respondent: Jonas Spenger , Teoretisk datalogi, TCS
2025-12-11T09:00:00.000+01:00 2025-12-11T09:00:00.000+01:00 Programming Models for Failure-Transparent Distributed Systems (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Programming Models for Failure-Transparent Distributed Systems (Disputationer) -
Disputationer
Datalogi Elektro- och systemteknik
tisdag 2025-12-16, 13.15
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Respondent: Jin Yifei , Teoretisk datalogi, TCS, Ericsson Research
2025-12-16T13:15:00.000+01:00 2025-12-16T13:15:00.000+01:00 Generalizable Representation for Wireless Networks Optimization through Native Graph Topology (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Generalizable Representation for Wireless Networks Optimization through Native Graph Topology (Disputationer)