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.
A number of world-renowned tools have been developed by DEIS including:
Department of Computer Science
Selma Lagerlöfs Vej 300
9220 Aalborg Øst, DK
T: +45 99 40 98 59