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]
B. Bera et al., "Fortifying V2RSU Communication with Post Quantum Security in the Green Internet of Vehicles," i ICC 2025 - IEEE International Conference on Communications, 2025, s. 2026-2032.
[3]
Z. Xing et al., "HMM-Based CSI Embedding for Trajectory Recovery via Feature Engineering on MIMO-OFDM Channels in LOS/NLOS Regions," i 2025 IEEE/CIC International Conference on Communications in China, ICCC Workshops 2025, 2025.

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