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.
Du har tidigare nekat visning av innehåll av typen "Extern media". Vill du visa innehållet?
Avdelningar





Aktuellt
-
Ny teori bidrar till debatten om svarta hål17 okt 2024
-
Disputationer
måndag 2025-06-02, 14.00
Plats: E2, Lindstedtsvägen 3, Stockholm
Respondent: Daniel Araújo De Medeiros , Beräkningsvetenskap och beräkningsteknik (CST)
2025-06-02T14:00:00.000+02:00 2025-06-02T14:00:00.000+02:00 Towards Adaptive Resource Management for HPC Workloads in Cloud Environments (Disputationer) E2, Lindstedtsvägen 3, Stockholm (KTH, Stockholm, Sweden)Towards Adaptive Resource Management for HPC Workloads in Cloud Environments (Disputationer) -
Disputationer
måndag 2025-06-02, 14.00
Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Campus
Respondent: Alexandra Hotti , Beräkningsvetenskap och beräkningsteknik (CST)
2025-06-02T14:00:00.000+02:00 2025-06-02T14:00:00.000+02:00 Black-Box Variational Inference (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Campus (KTH, Stockholm, Sweden)Black-Box Variational Inference (Disputationer) -
Disputationer
måndag 2025-06-09, 10.00
Plats: F2, Lindstedtsvägen 26 & 28, Stockholm
Respondent: Doctoral student Nikolaos Chrysanthidis , Beräkningsvetenskap och beräkningsteknik (CST)
2025-06-09T10:00:00.000+02:00 2025-06-09T10:00:00.000+02:00 Neurocomputational mechanisms of memory – Hebbian plasticity across short and long timescales (Disputationer) F2, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Neurocomputational mechanisms of memory – Hebbian plasticity across short and long timescales (Disputationer) -
Disputationer
onsdag 2025-06-11, 09.00
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Respondent: Mojtaba Eshghie , Teoretisk datalogi, TCS
2025-06-11T09:00:00.000+02:00 2025-06-11T09:00:00.000+02:00 Securing Smart Contracts Against Business Logic Flaws (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Securing Smart Contracts Against Business Logic Flaws (Disputationer) -
Disputationer
torsdag 2025-06-12, 14.00
Plats: D3, Lindstedtsvägen 5, Stockholm
Respondent: Yifei He , Beräkningsvetenskap och beräkningsteknik (CST)
2025-06-12T14:00:00.000+02:00 2025-06-12T14:00:00.000+02:00 Domain-Specific Compilation Framework with High-Level Tensor Abstraction for Fast Fourier Transform and Finite-Difference Time-Domain Methods (Disputationer) D3, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Domain-Specific Compilation Framework with High-Level Tensor Abstraction for Fast Fourier Transform and Finite-Difference Time-Domain Methods (Disputationer)