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

Förnybar energi

Heterogena system

Industriell programvaruteknik

Industriella AI-system

Komplexa inbyggda system i realtid

Lärande och optimering

Modellbaserad konstruktion av inbäddade system

Medicinsk teknik

Programmeringsspråk

Programvarutestlaboratorium

Statsvetenskap

Säkerhetskritisk teknik

Teknisk matematik

Ubiquitous Computing