Redovisning och ekonomistyrning

Algebra och Analys med tillämpningar

Artificiell intelligens och intelligenta system

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Certifierbara bevis och justifieringsteknik

Cyber-fysisk systemanalys

Datakommunikation

Design av realtidssystem

Diskret matematik och modellering av beteende och kultur

Ekokritiskt forum och ekokritisk litteraturvetenskap

Energieffektivisering och minskning av utsläpp

Formell modellering och analys av inbyggda system

Heterogena system

Industriell programvaruteknik

Informationsdesign

Komplexa inbyggda system i realtid

Lärande och optimering

Medicinsk teknik

Modellbaserad konstruktion av inbäddade system

Produkt- och produktionsutveckling

Programmeringsspråk

Programvarutestlaboratorium

Robotik

Säkerhetskritisk teknik

Teknisk matematik

Tillförlitlig programvaruteknik

Ubiquitous Computing

Förnybar energi

k