EECS internal calendar
Mon 05 February
-
Public defences of doctoral theses
Computer Science
Monday 2024-02-05, 14:00
Location: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm
Video link: https://kth-se.zoom.us/j/65032245867
Doctoral student: Ning Dong , Teoretisk datalogi, TCS
2024-02-05T14:00:00.000+01:00 2024-02-05T14:00:00.000+01:00 Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software (Public defences of doctoral theses) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software (Public defences of doctoral theses)