Defense of dissertations

No calendar events were found within the current period.

Upcoming calendar events:

• Formal Verification of Software-Defined Network Elements and Machine Code

  8 Dec

  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)

• Programming Models for Failure-Transparent Distributed Systems

  11 Dec

  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)