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

Cyrille 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 artikeln
Nytt 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 artikeln
Två dagar om det senaste inom mjukvara
CASTOR Software Days gick av stapeln den 31 augusti till 1 september på KTH Nymble. Konferensen samlade mjukvaruforskare, ingenjörer och studenter med diskussioner om det allra senaste inom teknologi,...
Läs artikelnKalender
-
Disputationer
måndag 2023-12-11, 09.00
Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm
Respondent: Zimin Chen , Teoretisk datalogi, TCS
2023-12-11T09:00:00.000+01:00 2023-12-11T09:00:00.000+01:00 Källkodsrepresentationer för djupinlärning av Programreparation (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Källkodsrepresentationer för djupinlärning av Programreparation (Disputationer)