DEIS - Distributed, Embedded and Intelligent Systems

The Distributed, Embedded and Intelligent Systems (DEIS) Aalborg Univeristy

DEIS - Distributed, Embedded and Intelligent Systems

The Distributed, Embedded and Intelligent Systems (DEIS) research group covers mathematical foundation, verification tools, validation methodologies, probabilistic graphical models and machine learning focusing on distributed, embedded and intelligent systems.

About DEIS

DEIS' research activities cover the following areas:

Semantic theories for modelling the behaviour 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
Quantum algorithms and software
Automatic design tools for quantum circuit simulation, verification, optimization and compilation
Programming technology building on semantic foundations, static analysis and abstract interpretation
Security with focus on IoT and embedded systems exploiting model checking and static analysis.

Model-driven development

Each of the four research directions mentioned above constitutes an area in its own right. Moreover, the areas are interrelated in a number of ways:

Semantic models offer important guidelines for the development of languages and paradigms for distributed systems, and they are necessary prerequisites for the development of verification and inference algorithms and tools.

The development of validation and inference tools provides new insight into the underlying models on the one hand, and are applied in environments for the construction and analysis of distributed, embedded and intelligent systems on the other.

The usage of distributed, embedded and intelligent software in increasingly complex systems provides valuable insight into the strengths and weaknesses of existing models, algorithms and tools, and serve as inspiration for the development of new ones. Machine learning is central for data-driven development of intelligent software. This complements and completes the unit's focus on model-driven development.

Key research areas

Mathematical and logical theory for modelling and specifying concurrent processes, including quantitative and security aspects
Tools, algorithms and datastructures for model checking, performance analysis and synthesis for complex systems
Model-based methodologies for embedded and cyber-physical systems
Analysis and construction of services and protocols for networks
Inference and learning of probabilistic graphical models
Machine learning using statistical as well as logic and relational-based methods
Design Automation for Quantum Algorithms
Design, analysis and construction of Programming technology
Security and trustworthiness of applications and systems
Applications in a variety of domains, including transport, energy, water management, and health.

A number of world-renowned tools have been developed by DEIS including:

Seminars

DEIS Seminars

The Distributed and Embedded Systems unit is running regular seminars where both local speakers as well as external visitors give talks on a wide range of topics from the concurrency theory and practice. The seminars are not only aimed at the local audience but also to any interested visitors from outside of the unit or the department.

Contact

Please contact Giorgio Bacci for information on the seminars in this series, and to be added to the mailing list for seminar announcements.

Department of Computer Science
Selma Lagerlöfs Vej 300
9220 Aalborg Øst, DK

T: +45 99 40 98 59

Mail: grbacci@cs.aau.dk

List of Seminars

Check out a list of previous and upcoming seminars:

Seminars