Programmeringsspråk

Programvarutestlaboratorium

Statsvetenskap

Säkerhetskritisk teknik

Teknisk matematik

Ubiquitous Computing

Algebra och analys med tillämpningar

Artificiell intelligens och intelligenta system

Certifierbara bevis och justifieringsteknik

Cyber-fysisk systemanalys

Digitala och cirkulära industriella tjänster (DigiCircle)

Digitalisering av framtidens energi

Formell modellering och analys av inbyggda system

Heterogena system

Förnybar energi

Industriella AI-system

Industriell programvaruteknik

Komplexa inbyggda system i realtid

Lärande och optimering

Medicinsk teknik

Modellbaserad konstruktion av inbäddade system