Distributed, Embedded and Intelligent Systems

Organisationsprofil

The unit’s research concerns modelling, analysis and realization of computer programs with emphasis on distributed, embedded and intelligent systems. This includes the following areas:

  • Semantic theories for modelling the behavior of computer programs and systems
  • Design, implementation and models for analysis and construction of distributed, embedded and intelligent systems.
  • Algorithms, methods and tools for verification, and validation of programs and systems.
  • Probabilistic models and algorithms for intelligent decision making and machine learning.

    DEIS -Link to unit webpage
Luk

Publikationer (895)

Aktiviteter (70)

  • KiMfest

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

  • KiMfest 2017 (Begivenhed)

    Aktivitet: ForskningRedaktør af serie

  • KiMfest (Begivenhed)

    Aktivitet: ForskningRedaktør af serie

Priser (4)

Mest anvendte tidsskrifter

Mest downloadede publikationer

Seneste aktiviteter og konferencer

ID: 236030454