Kalender

To Secure a Flow

11 mar

Disputationer

Datalogi

tisdag 2025-03-11, 09.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Amir M. Ahmadian , Teoretisk datalogi, TCS, Language-Based Security

2025-03-11T09:00:00.000+01:00 2025-03-11T09:00:00.000+01:00 To Secure a Flow (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)To Secure a Flow (Disputationer)

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)

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)

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)

Formal Verification of Software-Defined Network Elements and Machine Code

8 dec

Disputationer

Datalogi

måndag 2025-12-08, 13.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

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

Respondent: Didrik Lundberg , Teoretisk datalogi, TCS, Saab AB, Sweden

2025-12-08T13:00:00.000+01:00 2025-12-08T13:00:00.000+01:00 Formal Verification of Software-Defined Network Elements and Machine Code (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Formal Verification of Software-Defined Network Elements and Machine Code (Disputationer)

Programming Models for Failure-Transparent Distributed Systems

11 dec

Disputationer

torsdag 2025-12-11, 09.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

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

Respondent: Jonas Spenger , Teoretisk datalogi, TCS

2025-12-11T09:00:00.000+01:00 2025-12-11T09:00:00.000+01:00 Programming Models for Failure-Transparent Distributed Systems (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Programming Models for Failure-Transparent Distributed Systems (Disputationer)

Generalizable Representation for Wireless Networks Optimization through Native Graph Topology

16 dec

Disputationer

Datalogi Elektro- och systemteknik

tisdag 2025-12-16, 13.15

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Jin Yifei , Teoretisk datalogi, TCS, Ericsson Research

2025-12-16T13:15:00.000+01:00 2025-12-16T13:15:00.000+01:00 Generalizable Representation for Wireless Networks Optimization through Native Graph Topology (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Generalizable Representation for Wireless Networks Optimization through Native Graph Topology (Disputationer)