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

Institutionen för programvaruteknik och datorsystem

Institution för programvaruteknik och datorsystem (SCS) ingår i skolan för elektronik och datavetenskap.

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]
L. Puccioni et al., "Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning," i Proceedings of IEEE/ACM International Workshop on Large Language Models for Code 2025, LLM4Code 2025, 2025.
[3]
D. Cipollone et al., "Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues," i Proceedings of IEEE/ACM International Workshop on Large Language Models for Code 2025, LLM4Code 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