Säkerhetskritisk teknik

Teknisk matematik

Tillförlitlig programvaruteknik

Ubiquitous Computing

Algebra och Analys med tillämpningar

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

Förnybar energi

Heterogena system

Human

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

Simulering och optimering för framtida industriella applikationer

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Artificiell intelligens och intelligenta system