Distributed, Embedded and Intelligent Systems

  • Postal address

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Organization profile

Organisation profile

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.

For more information see
DEIS webpage 

 

Fingerprint

The fingerprint consists of concepts related to the research profile of the unit and associated persons. It is updated automatically, when new content is added.

Network

Dive into details by clicking on the dots.