Disputationer
To 1 februari - To 29 februari
-
Disputationer
Datalogi
måndag 2024-02-05, 14.00
Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm
Videolänk: https://kth-se.zoom.us/j/65032245867
Respondent: 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 (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software (Disputationer)