Defense of dissertations
Mon 08 December
-
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)