Forskning 

Vigtige forskningsområder 

Forskningsgruppen DEIS beskæftiger sig med følgende overordnede udfordringer:

• Matematiske og logiske teorier til modellering og specificering
  af distribuerede processer, inklusiv kvantitative og sikkerhedsmæssige aspekter
• Værktøjer, algoritmer og datastrukturer til verifikation af
  modeller, performanceanalyse og syntese af komplekse systemer
• Modelbaserede metoder for indlejrede og cyber-fysiske systemer
• Analyse og konstruktion af services og protokoller for netværk
• Inferens og læring af probabilistiske grafiske modeller
• Maskinlæring med statistiske såvel som logiske og relationsbaserede metoder
• Applikationer indenfor forskellige domæner, inklusiv transport,
  energi, vandstyring og sundhed

Uddannelse 

Studierelateret aktivitet 

Forskerne ved DEIS underviser i 15-20 kurser, inklusiv matematiske
grundlag, distribuerede og indlejrede systemer, maskinlæring og adskillige kandidatkurser.

DEIS afholder ligeledes flere PhD kurser, fx i model-checking og maskinlæring.

Samarbejde 

Forskningens målgruppe 

Forskningen tilgodeser virksomheder og organisationer, der arbejder
med sikkerhedskritiske softwaresystemer, hvor kravene til overvågning,
forudsigelighed, sikkerhed samt korrekte og intelligente beslutninger
er altafgørende. Akademiske og industrielle brugere har glæde af vores
værktøjer som fx UPPAAL og TAPAAL, der er blandt de bedste i verden.

Eksempler på partnere 

INRIA Rennes, TU Wien, TU Eindhoven, Strathclyde University, Oxford University, Northeastern University, Trento University, NTNU, Grundfos, Aalborg Kommune, Aarhus Vand, Huawei, Nilfisk, Neocortec, ATS, Ambolt, Neogrid, Hardi, Seluxit, GOMSpace.

Nøgleprojekter