Institutionen för datavetenskap
Vi bedriver forskning på grundnivå och tillämpad nivå som möter verkliga samhällsproblem och utmaningar - allt med en vetenskaplig excellens och i samverkan med det omgivande samhället. Våra utbildningar inom elektroteknik och datavetenskap skapar framtidens ingenjörer och forskare.
Avdelningar
Aktuellt
-
Disputationer
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
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)
