Foto Jonas J盲rmen Forskning och utbildning bedrivs inom f枚ljande delomr氓den:
- Programvaruteknik
- Programmeringsmodeller och programmeringssystem
- Modellering och simulering av programvara och system
- Systemprogramvara
- Inbyggda/cyberfysiska programvaru- och h氓rdvarusystem
- Datorsystemteknik
- Parallella och distribuerade programvara och system
- Realtidssystem och systemtillf枚rlitlighet
- Verifiering och testning av programvara och system
Forskning
Forskningen omfattar b氓de grundforskning och projekt i samarbete med industrin - projekt bedrivs eller har bedrivits i samarbete med ABB Robotics, ABB Industrial Systems, Ericsson Softlab AB, Ericsson Radio Systems, Ericsson Telecom, SKF, Saab, Saab Dynamics, Saab Combitech och flera andra f枚retag.
Foto Jonas J盲rmen Dessutom inkluderar forskningen vid avdelningen flera open-source systemutvecklingsprojekt, s氓som ramverket f枚r objektorienterat ekvationsbaserat modellering och simulering av cyberfysiska system, och h枚gniv氓programmeringsramverket f枚r heterogena parallella system.
Nio professorer, 氓tta docenter/lektorer och flera postdocs 盲r involverade i forskningen tillsammans med omkring 25 doktorander.
Foto Jonas J盲rmen
盲r en kontinuerlig serie av 枚ppna seminarier inom SaS-forskningsomr氓den.
Avdelningens forskning bedrivs inom f枚ljande enheter:
Co-design och design for testbarhet av inbyggda/cyberfysiska programvaru- och h氓rdvarusystem, samt formala metoder f枚r inbyggda system.
Verktyg och arkitekturer f枚r programvaruteknik, storskalig programvaruteknik, modell-baserad programvaruutveckling, programspr氓k och programmeringssystem, inklusive kompilatorer, debugger, testverktyg, och verktyg f枚r programmering av parallella, distribuerade och realtidssystem.
Forskningen omfattar kunskapsdriven datahantering och analys, ontologier samt analys av sport (sport analytics). Enheten ansvarar ocks氓 f枚r undervisningen i alla databaskurser vid institutionen.
Utbildning
Avdelningen ansvarar f枚r en betydande del av institutionens omfattande grundutbildningsverksamhet, med ungef盲r 70 grundutbildningskurser per 氓r p氓 grundl盲ggande och avancerad niv氓, samt uppdragsutbildningskurser och handledning av examensarbeten. Dessutom ger forskarna ett antal kurser inom forskarutbildningen varje 氓r. Foto Jonas J盲rmen
Grundutbildningen vid avdelningen bedrivs gemensamt av forskarna och av undervisningsgruppen f枚r programmering och programmeringens didaktik (UPP-l盲rargruppen), som best氓r av omkring tio universitetsadjunkter/tekniker och m氓nga amanuenser. UPP-l盲rargruppen ansvarar f枚r merparten av avdelningens grundl盲ggande kurser i programmering, datastrukturer och algoritmer samt 盲ven en del mer avancerade kurser inom olika omr氓den.
Forskarutbildning bedrivs inom datalogi.
