DEIS

Frontpage of the Distributed, Embedded and Intelligent Systems' webiste


alt="" alt="" alt="" 

...

World-renowned DEIS tools

UPPAAL Logo

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

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. 

Read more

Introduction to DEIS

Distributed, embedded and intelligent systems
Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300  ・ 9220 Aalborg East, Denmark 
Telephone: +45 9940 9940  ・ Mail: info@cs.aau.dk ・Vacancies