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)