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.
Forskningsområden
Träffa avdelningen
Nyheter
Så stoppar du cyberattacker med honungsfällor
I det ständigt föränderliga landskapet av cyberkrigföring krävs innovativa strategier för att försvara sig mot människokontrollerade cyberattacker. En nyligen genomförd studie av studenter vid KTH för...
Läs artikelnCyrille Artho ny föreståndare för CASTOR
Cyrille Artho är ny föreståndare för forskningscentret CASTOR Software Research Centre. Han har bott i Japan i 11 år, där han har arbetat med analys av nätverksmjukvara och testning tillsammans med mj...
Läs artikelnNytt verktyg reducerar felrapportering i Java-kod
SORALD åtgärdar regelbrott som uppkommit i SonarQube, ett av de mest populära analysverktygen inom statisk kodning.
Läs artikelnKalender
-
Disputationer
fredag 2024-12-06, 13.15
Plats: D2, Lindstedtsvägen 5, Stockholm
Videolänk: https://kth-se.zoom.us/j/66180403376?pwd=elYurvM09QfBT7I5xvTPEmoPX3rbaF.1
Respondent: Ruo-Chun Tzeng , Teoretisk datalogi, TCS
2024-12-06T13:15:00.000+01:00 2024-12-06T13:15:00.000+01:00 Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits (Disputationer) D2, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits (Disputationer)