Defense of dissertations
Fri 25 April - Wed 31 December
-
Public defences of doctoral theses
Computer Science
Thursday 2025-05-08, 14:00
Location: F3 (Flodis), Lindstedtsvägen 26 & 28, Campus
Doctoral student: 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 (Public defences of doctoral theses) F3 (Flodis), Lindstedtsvägen 26 & 28, Campus (KTH, Stockholm, Sweden)Formal Modelling of the Impact of Cyberattacks on Safety of Networked Control Systems (Public defences of doctoral theses) -
Public defences of doctoral theses
Computer Science
Wednesday 2025-06-11, 09:00
Location: Kollegiesalen, Brinellvägen 6, Stockholm
Doctoral student: 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 (Public defences of doctoral theses) Kollegiesalen, Brinellvägen 6, Stockholm (KTH, Stockholm, Sweden)Securing Smart Contracts Against Business Logic Flaws (Public defences of doctoral theses) -
Public defences of doctoral theses
Computer Science
Thursday 2025-06-12, 14:00
Location: F3 Flodis, Lindstedtsvägen 26
Video link: https://kth-se.zoom.us/j/68652985718
Doctoral student: 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 (Public defences of doctoral theses) F3 Flodis, Lindstedtsvägen 26 (KTH, Stockholm, Sweden)Models and Algorithms for Addressing Challenges in Online Social Networks (Public defences of doctoral theses) -
Public defences of doctoral theses
Computer Science
Monday 2025-12-08, 13:00
Location: Kollegiesalen, Brinellvägen 8, Stockholm
Video link: https://kth-se.zoom.us/j/61627100868
Doctoral student: 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 (Public defences of doctoral theses) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Formal Verification of Software-Defined Network Elements and Machine Code (Public defences of doctoral theses) -
Public defences of doctoral theses
Thursday 2025-12-11, 09:00
Location: Kollegiesalen, Brinellvägen 8, Stockholm
Video link: https://kth-se.zoom.us/j/65545597811
Doctoral student: 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 (Public defences of doctoral theses) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Programming Models for Failure-Transparent Distributed Systems (Public defences of doctoral theses) -
Public defences of doctoral theses
Computer Science Electrical Engineering
Tuesday 2025-12-16, 13:15
Location: Kollegiesalen, Brinellvägen 8, Stockholm
Doctoral student: 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 (Public defences of doctoral theses) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Generalizable Representation for Wireless Networks Optimization through Native Graph Topology (Public defences of doctoral theses)