Kalender
Må 24 november - On 31 december
-
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)