Avdelningen för teoretisk datalogi
Vid avdelningen för teoretisk datalogi (TCS) studeras grunderna för effektiva
och korrekta algoritmer och programvara. Tillämpningar finns inom
programutvecklingsteknik, datasäkerhet, kryptografi, verifiering och
SAT-lösning, språkteknologi och datadidaktik. Nedan kan du läsa om de olika forskningsområdena, informationen finns endast på engelska.
Avdelningen är en del av Insitutionen för datavetenskap vid Skolan för elektroteknik och datavetenskap.
Nyheter
-
Två dagar om det senaste inom mjukvara27 sep 2022
-
Prisbelönad forskning om algoritmer5 sep 2022
Kalender
-
Disputationer
fredag 2023-06-02, 09.00
Plats: L1, Drottning Kristinas väg 30, Stockholm
Videolänk: https://kth-se.zoom.us/j/68807417997
Respondent: Andreas Lindner , Teoretisk datalogi, TCS
2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Proving Safety and Security of Binary Programs (Disputationer) L1, Drottning Kristinas väg 30, Stockholm (KTH, Stockholm, Sweden)Proving Safety and Security of Binary Programs (Disputationer) -
Disputationer
fredag 2023-06-02, 09.00
Plats: E2, Lindstedtsvägen 3, Stockholm
Videolänk: https://kth-se.zoom.us/j/66441177033
Respondent: Md Sakib Nizam Khan , Teoretisk datalogi, TCS
2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Towards Privacy Preserving Intelligent Systems (Disputationer) E2, Lindstedtsvägen 3, Stockholm (KTH, Stockholm, Sweden)Towards Privacy Preserving Intelligent Systems (Disputationer) -
Disputationer
onsdag 2023-06-14, 15.00
Plats: D3 Lindstedtsvägen 9
Videolänk: https://kth-se.zoom.us/j/69872122832
Respondent: Jonas Haglund , Teoretisk datalogi, TCS
2023-06-14T15:00:00.000+02:00 2023-06-14T15:00:00.000+02:00 Formal Verification of Peripheral Memory Isolation (Disputationer) D3 Lindstedtsvägen 9 (KTH, Stockholm, Sweden)Formal Verification of Peripheral Memory Isolation (Disputationer)