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
Beräkningskomplexitet
Att lösa ett beräkningsproblem kräver resurser och den grundläggande frågan som studeras inom detta forskningsområde är att, så nära som möjligt, bestämma beräkningssvårigheten för grundläggande problem.
Vi studerar hur fördröjningar och fel i nätverkskommunikationen påverkar beteendet hos nätverksbaserad programvara, där felhantering är svår att testa med konventionella metoder.
Forskning om datavetenskaplig utbildning är ett tvärvetenskapligt område som syftar till att öka förståelsen för hur studenter lär sig datavetenskap och hur undervisningen och bedömningen av datavetenskap kan förbättras.
Datavetenskap har vuxit fram som en viktig disciplin för att omvandla tillgängliga data till kunskapsprodukter som ger insikter i motsvarande domäner, förbättrar beslutsfattandet och påskyndar vetenskapliga upptäckter.
En av dagens stora tekniska och samhälleliga utmaningar är att kunna producera mjukvarusystem som beter sig på ett tillförlitligt och förutsägbart sätt. Vi forskar om olika sätt att bemästra programvarukomplexitet.
J. Spenger, P. Carbone och P. Haller, "Failure-Transparent Actors," i Concurrent Programming, Open Systems and Formal Methods, : Springer Nature, 2026, s. 81-113.
[2]
G. Badkobeh et al., "Preface," i String Processing and Information Retrieval : 32nd International Symposium, SPIRE 2025, London, UK, September 8–11, 2025, Proceedings, Golnaz Badkobeh, Jakub Radoszewski, Nicola Tonellotto, Ricardo Baeza-Yates red., : Springer Science and Business Media Deutschland GmbH, 2026, s. v-vii.
AI fixar säkerhetsbrister - KTH vinner prestigefyllt pris
Kan AI åtgärda säkerhetsbrister innan hackare slår till? KTH-forskare säger ja - och deras genombrott vann priset Best Paper Award 2023 från IEEE Transactions on Software Engineering. Genom att använd...
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...
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...
