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. Alkhatib et al., "Prediction via Shapley Value Regression," i Proceedings of Machine Learning Research - International Conference on Machine Learning, ICML 2025, 2025.
[3]
W. J. Szczerek och A. Podobas, "IzhiRISC-V-a RISC-V-based Processor with Custom ISA Extension for Spiking Neuron Networks Processing with Izhikevich Neurons," i Proceedings of the SC’25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, 2025, s. 1667-1675.

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