Disputationer
Må 11 mars - Ti 31 december
-
Disputationer
Datalogi
fredag 2024-03-15, 13.00
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Videolänk: https://kth-se.zoom.us/j/61999411575
Respondent: Christian Lidström , Teoretisk datalogi, TCS
2024-03-15T13:00:00.000+01:00 2024-03-15T13:00:00.000+01:00 Automated Deductive Verification of Safety-Critical Embedded Software (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Automated Deductive Verification of Safety-Critical Embedded Software (Disputationer) -
Disputationer
Datalogi
onsdag 2024-05-22, 14.00
Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm
Videolänk: https://kth-se.zoom.us/j/69603435226
Respondent: Felix Liu , Beräkningsvetenskap och beräkningsteknik (CST), RaySearch Laboratories
2024-05-22T14:00:00.000+02:00 2024-05-22T14:00:00.000+02:00 High Performance Computing for the Optimization of Radiation Therapy Treatment Plans (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)High Performance Computing for the Optimization of Radiation Therapy Treatment Plans (Disputationer) -
Disputationer
Datalogi
fredag 2024-05-24, 09.15
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Videolänk: https://kth-se.zoom.us/s/61541415709
Respondent: Martin Karp , Beräkningsvetenskap och beräkningsteknik (CST)
2024-05-24T09:15:00.000+02:00 2024-05-24T09:15:00.000+02:00 Direct Numerical Simulation of Turbulence on Heterogenous Computer Systems (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Direct Numerical Simulation of Turbulence on Heterogenous Computer Systems (Disputationer) -
Disputationer
Datalogi
torsdag 2024-05-30, 13.00
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Respondent: Christos Matsoukas , Beräkningsvetenskap och beräkningsteknik (CST), Kevin Smith
2024-05-30T13:00:00.000+02:00 2024-05-30T13:00:00.000+02:00 Artificial Intelligence for Medical Image Analysis with Limited Data (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Artificial Intelligence for Medical Image Analysis with Limited Data (Disputationer) -
Disputationer
Datalogi
måndag 2024-06-03, 13.30
Plats: Sal C, Kistagången 16
Respondent: Marianela García Lozano , Programvaruteknik och datorsystem, SCS
2024-06-03T13:30:00.000+02:00 2024-06-03T13:30:00.000+02:00 Toward automated veracity assessment of data from open sources using features and indicators (Disputationer) Sal C, Kistagången 16 (KTH, Stockholm, Sweden)Toward automated veracity assessment of data from open sources using features and indicators (Disputationer)