Till innehåll på sidan
Till KTH:s startsida

Programvaruteknik och datorsystem

Avdelningen för programvaruteknik och datorsystem (SCS) ingår i skolan för elektronik och datavetenskap. Mera exakt utgör SCS en del av institutionen för datavetenskap (CS).

Forskningsområden och grupper

Programmeringsspråk och modellering

Ett område vi studerar är teori och system inom modellering, programmeringsspråk, kompilatorer, formell semantik, maskininlärning, probabilistisk programmering, realtidssystem.

Programmeringsspråk och modellering

Träffa avdelningen

Senaste publikationerna

[1]
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]
X. Shi, A. Srinivasan och S. Pashami, "Counterfactual Explanation for Anomaly Detection using Graph Neural Network," i BEHAIV 2025 - Proceedings of the 2025 Workshop on AI for Understanding Human Behavior in Professional Settings, co-located with 28th European Conference on Artificial Intelligence, ECAI 2025, 2025, s. 42-55.
[3]
G. Dong et al., "Explaining Deep Neural Networks with Example and Pixel Attribution," i Discovery Science - 28th International Conference, DS 2025, Proceedings, 2025, s. 286-300.

Nyheter

Sex personer i forskarteamet
Changjie Wang (mitten) med Dejan Kostić (vänster) och Marco Chiesa (höger). Bild tagen av Jonatan Langlet. Höger sida uppifrån: Mariano Scazzariello, Alireza Farshin och Simone Ferlin.

Hur kan stora språkmodeller göra nätverkskonfigurationen användarvänlig?

Det är vad forskargruppen bakom den prisbelönta arbetet, NetConfEval: Can LLM Facilitate Network Configuration? frågade sig. De belönades med IRTF/IETF Applied Networking Research Prize, för sitt arbe...

Läs artikeln
En programbar nätverksswitch som användes i forskningen.
En programbar nätverksswitch som användes i forskningen.

Ny lösning inom cybersäkerhet minskar energiförbrukningen signifikant

Genom att förflytta beräkningar för komplexa cybersäkerhetsanalyser till nätverksacceleratorer kan man minska energiförbrukningen med över 30 gånger. Det är en viktig pusselbit när den globala interne...

Läs artikeln

Data som är tillgänglig - trots server och nätverksfel

En programvara utvecklad av KTH har gjort det enklare att bygga molntjänster och som är mer tolerant mot fel. – Jag ville göra fel-toleranta system enkla att bygga och använda, till skillnad från v...

Läs artikeln