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.
