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
fredag 2024-11-22, 10.00
Plats: F3 (Flodis), Lindstedtsvägen 26, Sweden
Videolänk: https://kth-se.zoom.us/j/64148823838
Respondent: Khashayar Etemadi , Teoretisk datalogi, TCS
2024-11-22T10:00:00.000+01:00 2024-11-22T10:00:00.000+01:00 Efficient Exploration and Analysis of Program Repair Search Spaces (Disputationer) F3 (Flodis), Lindstedtsvägen 26, Sweden (KTH, Stockholm, Sweden)Efficient Exploration and Analysis of Program Repair Search Spaces (Disputationer) -
Disputationer
onsdag 2024-11-27, 14.00
Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm
Respondent: Joakim Blikstad , Teoretisk datalogi, TCS
2024-11-27T14:00:00.000+01:00 2024-11-27T14:00:00.000+01:00 Matchings, Maxflows, Matroids (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Matchings, Maxflows, Matroids (Disputationer) -
Disputationer
fredag 2024-12-06, 13.15
Plats: D2, Lindstedtsvägen 5, Stockholm
Videolänk: https://kth-se.zoom.us/j/66180403376?pwd=elYurvM09QfBT7I5xvTPEmoPX3rbaF.1
Respondent: Ruo-Chun Tzeng , Teoretisk datalogi, TCS
2024-12-06T13:15:00.000+01:00 2024-12-06T13:15:00.000+01:00 Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits (Disputationer) D2, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits (Disputationer) -
Disputationer
fredag 2024-12-13, 13.00
Plats: F2, Lindstedtsvägen 26 & 28, Stockholm
Videolänk: https://kth-se.zoom.us/j/69355780837
Respondent: Lennart Alexander Van der Goten , Beräkningsvetenskap och beräkningsteknik (CST), Science for Life Laboratory, SciLifeLab
2024-12-13T13:00:00.000+01:00 2024-12-13T13:00:00.000+01:00 Generative AI for Artifact Correction and Privacy-Secure Medical Imaging (Disputationer) F2, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Generative AI for Artifact Correction and Privacy-Secure Medical Imaging (Disputationer) -
Disputationer
fredag 2024-12-13, 14.00
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Videolänk: https://kth-se.zoom.us/j/64605922145
Respondent: Deepika Tiwari , Programvaruteknik och datorsystem, SCS
2024-12-13T14:00:00.000+01:00 2024-12-13T14:00:00.000+01:00 Augmenting Test Oracles with Production Observations (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Augmenting Test Oracles with Production Observations (Disputationer)
