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]
A. Söderhäll, Z. Alimadadi och P. Papadimitratos, "On the Impact of Sybil-based Attacks on Mobile Crowdsensing for Transportation," i IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom 2025, 2025, s. 482-488.
[3]
H. Li et al., "AttentionGuard : Transformer-based Misbehavior Detection for Secure Vehicular Platoons," i PROCEEDINGS OF THE 2025 ACM WORKSHOP ON WIRELESS SECURITY AND MACHINE LEARNING, WISEML 2025, 2025, s. 8-13.

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