Kalender

Formal Modelling of the Impact of Cyberattacks on Safety of Networked Control Systems

8 maj

Disputationer

Datalogi

torsdag 2025-05-08, 14.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Campus

Respondent: Ehsan Poorhadi , Teoretisk datalogi, TCS

2025-05-08T14:00:00.000+02:00 2025-05-08T14:00:00.000+02:00 Formal Modelling of the Impact of Cyberattacks on Safety of Networked Control Systems (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Campus (KTH, Stockholm, Sweden)Formal Modelling of the Impact of Cyberattacks on Safety of Networked Control Systems (Disputationer)

Cell-Free Massive MIMO Networks

16 maj

Disputationer

Informations- och kommunikationsteknik

fredag 2025-05-16, 09.15

Plats: Ka-Sal C (Sven-Olof Öhrvik), Kistagången 16, Kista

Videolänk: https://kth-se.zoom.us/j/66273771970

Respondent: Mahmoud Zaher , Kommunikationssystem, CoS

2025-05-16T09:15:00.000+02:00 2025-05-16T09:15:00.000+02:00 Cell-Free Massive MIMO Networks (Disputationer) Ka-Sal C (Sven-Olof Öhrvik), Kistagången 16, Kista (KTH, Stockholm, Sweden)Cell-Free Massive MIMO Networks (Disputationer)

Scientific Machine Learning for Forward and Inverse Problems

26 maj

Disputationer

Datalogi

måndag 2025-05-26, 13.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/j/66482272586

Respondent: Federica Bragone , Beräkningsvetenskap och beräkningsteknik (CST)

2025-05-26T13:00:00.000+02:00 2025-05-26T13:00:00.000+02:00 Scientific Machine Learning for Forward and Inverse Problems (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Scientific Machine Learning for Forward and Inverse Problems (Disputationer)

Towards Adaptive Resource Management for HPC Workloads in Cloud Environments

2 jun

Disputationer

Datalogi

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)

Black-Box Variational Inference

2 jun

Disputationer

Datalogi

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)

Neurocomputational mechanisms of memory – Hebbian plasticity across short and long timescales

9 jun

Disputationer

Datalogi

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)

Securing Smart Contracts Against Business Logic Flaws

11 jun

Disputationer

Datalogi

onsdag 2025-06-11, 09.00

Plats: Kollegiesalen, Brinellvägen 6, 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 6, Stockholm (KTH, Stockholm, Sweden)Securing Smart Contracts Against Business Logic Flaws (Disputationer)

Domain-Specific Compilation Framework with High-Level Tensor Abstraction for Fast Fourier Transform and Finite-Difference Time-Domain Methods

12 jun

Disputationer

Datalogi

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)

Models and Algorithms for Addressing Challenges in Online Social Networks

12 jun

Disputationer

Datalogi

torsdag 2025-06-12, 14.00

Plats: F3 Flodis, Lindstedtsvägen 26

Videolänk: https://kth-se.zoom.us/j/68652985718

Respondent: Sijing Tu , Teoretisk datalogi, TCS

2025-06-12T14:00:00.000+02:00 2025-06-12T14:00:00.000+02:00 Models and Algorithms for Addressing Challenges in Online Social Networks (Disputationer) F3 Flodis, Lindstedtsvägen 26 (KTH, Stockholm, Sweden)Models and Algorithms for Addressing Challenges in Online Social Networks (Disputationer)

Practical Machine Learning for Predictions in Mobile Networks

21 aug

Disputationer

Datalogi

torsdag 2025-08-21, 14.00

Plats: Kollegiesalen, Brinellvägen 6 (Tillgänglighetsanpassad entré), Stockholm

Respondent: Akhila Rao , Programvaruteknik och datorsystem, SCS

2025-08-21T14:00:00.000+02:00 2025-08-21T14:00:00.000+02:00 Practical Machine Learning for Predictions in Mobile Networks (Disputationer) Kollegiesalen, Brinellvägen 6 (Tillgänglighetsanpassad entré), Stockholm (KTH, Stockholm, Sweden)Practical Machine Learning for Predictions in Mobile Networks (Disputationer)